From: Christopher Conway <t-chric@mi...> - 2006-08-18 16:09:57
Disregard my previous mail. On looking closely at the Makefile (and my
co-worker's code), I see that these are supposed to be private
> -----Original Message-----
> From: Christopher Conway=20
> Sent: Friday, August 18, 2006 9:30 PM
> To: 'cil-users@...'
> Subject: Modules missing in /usr/local/lib/cil
> The .cmi files for Cilutil, Epicenter, and Testcil do not get=20
> put in /usr/local/lib/cil by "make install", preventing my=20
> application from compiling with "-I /usr/local/lib/cil". If I=20
> use "-I $CIL_SRC_DIR/obj/x86_WIN" instead, it works fine. If=20
> I copy the .cmi files into /usr/local/lib/cil, it works fine.
> Is the absence of these files in /usr/local/lib/cil a bug or=20
> a design decision? I'm willing to submit a patch if it's the former...
Get latest updates about Open Source Projects, Conferences and News.