Browse files

Clean up internal makefiles

  • Loading branch information...
1 parent 868f27d commit 46970c583c59c87f4a5a3ac33280de50c3e8382c @VictorNicollet committed Aug 18, 2012
Showing with 2 additions and 4 deletions.
  1. +1 −2 src/Makefile
  2. +1 −2 tool/Makefile
View
3 src/Makefile
@@ -1,7 +1,6 @@
-OCAMLBUILD=ocamlbuild -X p4 -use-ocamlfind
+OCAMLBUILD=ocamlbuild -use-ocamlfind
all:
- make -C ../p4 ../pp.cmo
$(OCAMLBUILD) ohm.cma
mv _build/ohm.cma _build/ohm.cmi ..
View
3 tool/Makefile
@@ -1,7 +1,6 @@
-OCAMLBUILD=ocamlbuild -use-ocamlfind -lib ohm -cflags -I,../.. -lflags -I,../..
+OCAMLBUILD=ocamlbuild -use-ocamlfind
all:
- make -C ../src all
$(OCAMLBUILD) tool.byte
distclean:

0 comments on commit 46970c5

Please sign in to comment.