1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-24 14:41:17 +00:00
nixpkgs/pkgs/applications/science/logic/sapic/native.patch
Austin Seipp 3813ab2589 nixpkgs: init sapic 0.9
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:01:29 -06:00

39 lines
824 B
Diff

diff --git a/Makefile b/Makefile
index a1de94d..f9e2eb8 100644
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,8 @@
TARGET = sapic
-OBJS=lexer.cmo apip.cmo firsttranslation.cmo main.cmo #secondtranslation.cmo thirdtranslation.cmo main.cmo
+OBJS=lexer.cmx apip.cmx firsttranslation.cmx main.cmx
sapic: $(OBJS)
- ocamlc -o $@ $(OBJS)
+ ocamlopt.opt -o $@ $(OBJS)
depend:
ocamldep *.ml *.mli > .depend
@@ -13,17 +13,17 @@ clean:
rm -rf *.cmi *.cmo $(TARGET)
rm -rf apip.ml apip.mli lexer.ml lexer.mli
-.SUFFIXES: .ml .mli .mll .mly .cmo .cmi
+.SUFFIXES: .ml .mli .mll .mly .cmo .cmi .cmx
-.ml.cmo:
- ocamlc -c $<
+.ml.cmx:
+ ocamlopt.opt -c $<
.mli.cmi:
- ocamlc -c $<
+ ocamlopt.opt -c $<
.mll.ml:
ocamllex $<
.mly.ml:
ocamlyacc $<
.ml.mli:
- ocamlc -i $< > $@
+ ocamlopt.opt -i $< > $@
-include .depend