1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
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:
|
