diff --git a/Makefile b/Makefile index 2d80fb6fea279279e8e7217fe42057a129492ca9..c3379015fac324590b5036882bcb1504c9fa80c4 100644 --- a/Makefile +++ b/Makefile @@ -9,10 +9,7 @@ VERSION = `cat VERSION` default: native native: - $(OCB) grewpy.native - -byte: - $(OCB) grewpy.byte + $(OCB) -tag-line "true: package(libgrew)" grewpy.native install: native mkdir -p $(BINDIR) diff --git a/_tags b/_tags index 3cfcba82c98138a963cdcfc8419ad6a2a0362522..b3a18d290cf79a296ed1ba7ed4308d1821e5d7b0 100644 --- a/_tags +++ b/_tags @@ -1,3 +1,3 @@ -true: package(yojson, threads, unix, str, containers, ANSITerminal, log, conll, amr, libgrew) +true: package(yojson, threads, unix, str, containers, ANSITerminal, log, conll, amr) true: thread true: bin_annot \ No newline at end of file diff --git a/install_dev b/install_dev new file mode 100755 index 0000000000000000000000000000000000000000..d7c1b2678758740302feb841932335f2ab800481 --- /dev/null +++ b/install_dev @@ -0,0 +1,2 @@ +ocamlbuild -use-ocamlfind -I src_ocaml -tag-line "true: package(libgrew_dev)" grewpy.native +cp grewpy.native ~/.local/bin/grewpy_dev