diff options
Diffstat (limited to 'src/Makefile')
-rw-r--r-- | src/Makefile | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile new file mode 100644 index 0000000..22a45a6 --- /dev/null +++ b/src/Makefile @@ -0,0 +1,34 @@ +# OCAMLC = ocamlcp -p a +OCAMLBCFLAGS = -w A -w e +YFLAGS = -v +TRASH = parser.output perl_checker.html TAGS +RESULT = perl_checker +BCSUFFIX = _debug +SOURCES = types.mli build.ml common.ml flags.ml config_file.ml info.ml parser_helper.ml parser.mly lexer.mll tree.ml global_checks.ml perl_checker.ml +LIBS = unix +VENDORLIB = $(shell dirname `pwd`) +DEBUG = 1 + +default: TAGS build_ml build.ml debug-code native-code perl_checker.html + +build_ml: + rm -f build.ml + $(MAKE) build.ml + +build.ml: + date '+let date = "%s"' > $@ + echo 'let fake_packages_dir = "'$(VENDORLIB)'/perl_checker_fake_packages"' >> $@ + echo 'let debugging = $(DEBUG) > 0' >> $@ + +%.html: %.html.pl + rm -f $@ + perl $< > $@ + chmod a-w $@ + +tags: + ocamltags *.ml + +TAGS: + ocamltags *.ml + +-include OCamlMakefile |