We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 54e550d commit e151f76Copy full SHA for e151f76
1 file changed
examples/ocaml/Makefile
@@ -12,15 +12,18 @@ MLANG=$(MLANG_BIN) $(MLANG_DEFAULT_OPTS) $(OPTIMIZE_FLAG)
12
all: backend_tests $(shell find . -name "run_*.py")
13
14
clean:
15
- rm -f Ir_*.ml
+ rm -f ir_*.ml
16
17
##################################################
18
# Generating and running Java files from Mlang
19
20
21
-.PRECIOUS: Ir_%.ml
22
-Ir_%.ml: ../../m_specs/%.m_spec
+.PRECIOUS: ir_%.ml
+ir_%.ml: ../../m_specs/%.m_spec
23
$(MLANG) \
24
--backend ocaml --output $@ \
25
--function_spec $^ \
26
$(SOURCE_FILES)
27
+
28
+ir_%.exe: ir_%.ml
29
+ ocamlfind opt -o $@ $^
0 commit comments