search

cil-project / cil

C Intermediate Language
Other
348 stars 86 forks source link

--prefix option to configure doesn't seem to work #20

Open shahn opened 9 years ago

shahn commented 9 years ago

When trying to install CIL's develop branch using ./configure --prefix=/path, make install fails because it is trying to install into /usr. ./configure --help suggests to use --prefix to install to a different location. It seems there's some ocamlfind magic in the Makefile.in that breaks this