Sophie

Sophie

distrib > Fedora > 14 > x86_64 > by-pkgid > a54f9a10336b9371f49e8128374a5630 > files > 6

zenon-0.5.0-7.fc12.src.rpm

--- Makefile.orig	2007-11-21 14:32:56.000000000 -0500
+++ Makefile	2008-06-27 11:01:00.000000000 -0400
@@ -102,7 +102,7 @@
 	${CAMLOPT} ${CAMLOPTFLAGS} -c $*.ml
 
 .mli.cmi:
-	${CAMLOPT} ${CAMLOPTFLAGS} -c $*.mli
+	if [ -x /usr/bin/ocamlopt ] ; then ${CAMLOPT} ${CAMLOPTFLAGS} -c $*.mli ; else ${CAMLC} ${CAMLCFLAGS} -c $*.mli ; fi
 
 lexzen.ml: lexzen.mll
 	${CAMLLEX} lexzen.mll