Ticket #8430: patch-Makefile.inc
File patch-Makefile.inc, 448 bytes (added by bfulgham@…, 19 years ago) |
---|
Line | |
---|---|
1 | --- tools/Makefile.inc.orig 2006-04-15 20:44:36.000000000 -0700 |
2 | +++ tools/Makefile.inc 2006-04-15 20:44:48.000000000 -0700 |
3 | @@ -2,11 +2,11 @@ |
4 | |
5 | TOP=.. |
6 | CAMLP4_COMM=TOP=$(TOP) $(TOP)/tools/camlp4_comm.sh pa_ifdef.cmo |
7 | -CAMLP4F=-DUNIX |
8 | +CAMLP4F=-DUNIX -loc loc |
9 | CAMLP4D=`camlp4 -where` |
10 | LIBUNIX=-cclib -lunix |
11 | -OCAMLC=ocamlc.opt -warn-error A |
12 | -OCAMLOPT=ocamlopt.opt -warn-error A |
13 | +OCAMLC=ocamlc.opt |
14 | +OCAMLOPT=ocamlopt.opt |
15 | OCAMLI= |
16 | OCAMLD= |
17 | STRIP=strip |