X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tools%2FMakefile;fp=tools%2FMakefile;h=0000000000000000000000000000000000000000;hb=90abd87dee295c60122d5dc1cfc6c27d1d92e903;hp=89d8986f04c14c2dbcb00a08fac4465fcbd0c3fc;hpb=97cc08246d4a73e9cc9070f645a351799b7340d1;p=tatoo.git diff --git a/tools/Makefile b/tools/Makefile deleted file mode 100644 index 89d8986..0000000 --- a/tools/Makefile +++ /dev/null @@ -1,12 +0,0 @@ -all: XPathEval.class xml_diff - - -xml_diff: xml_diff.ml - ocamlfind ocamlopt -o xml_diff -package expat -linkpkg xml_diff.ml - -XPathEval.class: XPathEval.java - javac XPathEval.java - - -clean: - rm -f XPathEval.class xml_diff *.o *.cm*