Makefile PREFIX set incorrectly

mirage / mirage-platform

Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen unikernel.

https://mirage.io

Other

77 stars 42 forks source link

Makefile PREFIX set incorrectly #45

Closed mor1 closed 11 years ago

mor1 commented 11 years ago

...when using the opam system switch -- -- build failed because mirage-platform Makefile sets PREFIX ?= /usr/local which results in ocamlfind not being found. (since it's actually at ~/.opam/system/bin/ocamlfind)

avsm commented 11 years ago

What was the failure mode here -- is it still a problem?

mor1 commented 11 years ago

no idea (what a poor bug report i filed...)

4 months ago -- i can't even recall what i was trying to do. closed and if it happens again i'll do a proper report.

(fwiw i now appear to be able to build mirage-platform using the system switch so i presume the problem is gone. might just've been my setup being borked...)