diff options
Diffstat (limited to 'extra/facile/facile-1.1-ocaml.patch')
-rw-r--r-- | extra/facile/facile-1.1-ocaml.patch | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/extra/facile/facile-1.1-ocaml.patch b/extra/facile/facile-1.1-ocaml.patch new file mode 100644 index 000000000..19f73adaa --- /dev/null +++ b/extra/facile/facile-1.1-ocaml.patch @@ -0,0 +1,66 @@ +--- facile-1.1.orig/Makefile 2004-09-08 04:51:02.000000000 -0500 ++++ facile-1.1/Makefile 2013-08-01 21:31:24.289306640 -0500 +@@ -7,11 +7,9 @@ + + install: + if test -d $(FACILEDIR); then : ; else mkdir $(FACILEDIR); fi +- cp src/facile.cmi src/facile.cma src/facile.cmxa src/facile.a $(FACILEDIR) ++ cp src/facile.cmi src/facile.cma $(FACILEDIR) + chmod a+r $(FACILEDIR)/facile.cmi + chmod a+r $(FACILEDIR)/facile.cma +- chmod a+r $(FACILEDIR)/facile.cmxa +- chmod a+r $(FACILEDIR)/facile.a + + clean: + cd src; make clean +@@ -20,4 +18,4 @@ + rm -fr $(FACILEDIR) + + check: +- cd examples; make FACILEDIR=../src queens.opt; ./queens.opt 8 ++ cd examples; make FACILEDIR=../src queens.out; ./queens.out 8 +--- facile-1.1.orig/src/Makefile 2004-09-08 04:51:02.000000000 -0500 ++++ facile-1.1/src/Makefile 2013-08-01 21:35:35.261718749 -0500 +@@ -1,7 +1,7 @@ + # $Id: Makefile,v 1.73 2004/09/01 12:33:49 barnier Exp $ + +-OCAMLC = ocamlc.opt -g +-OCAMLMLI = ocamlc.opt ++OCAMLC = ocamlc -g ++OCAMLMLI = ocamlc + OCAMLOPT = ocamlopt -unsafe -noassert -inline 10 + OCAMLDEP = ocamldep + INCLUDES = +@@ -16,7 +16,7 @@ + CSTRCMX = $(CSTR:.ml=.cmx) + + # Default target: libraries and toplevel +-all : facile.cma facile.cmxa facile ++all : facile.cma facile + + # Libraries + facile.cma : $(CSTRCMO) +@@ -28,9 +28,9 @@ + # Version of the library to be linked with the -p (profiler) option + facile.p.cmxa : $(CSTR) + rm -fr $(CSTRCMX) +- make facile.cmxa OPTOPT=-p ++ make OPTOPT=-p + rm -fr $(CSTRCMX) +- mv facile.cmxa $@ ++ mv $@ + mv facile.a facile.p.a + + # Toplevel (to be run with the "-I +facile" option) +@@ -42,9 +42,9 @@ + facile.exp.cmxa : $(CSTR) + rm -fr $(CSTRCMX) + make fcl_stak.cmx fcl_cstr.cmx fcl_inv.cmx fcl_reify.cmx fcl_arith.cmx fcl_goals.cmx fcl_fdArray.cmx fcl_gcc.cmx fcl_alldiff.cmx fcl_sorting.cmx fcl_interval.cmx facile.cmx +- make facile.cmxa OPTOPT="-pp inline_functors" ++ make OPTOPT="-pp inline_functors" + rm -fr $(CSTRCMX) +- mv facile.cmxa $@ ++ mv $@ + mv facile.a facile.exp.a + + .SUFFIXES: |