Skip to content

GitLab

Commit 44749bcc authored by erwan's avatar erwan
Browse files

ci fix for sasa 4.0.3 again

parent 850f7e7e
Pipeline #64961 failed with stages
in 6 minutes and 18 seconds
Hide whitespace changes
Inline Side-by-side
expe/Makefile.inc
View file @ 44749bcc
# Time-stamp: <modified the 18/04/2021 (at 11:49) by Erwan Jahier> # Time-stamp: <modified the 18/04/2021 (at 12:04) by Erwan Jahier>
# #
# This Makefile is meant to be includes by directories below # This Makefile is meant to be includes by directories below
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
sasa -reg $< sasa -reg $<
%.cmxs: %.ml %.cmxs: %.ml
touch config.ml # so that it compiles under sasa 4.0.3 rm -f config.ml ; touch config.ml # so that it compiles under sasa 4.0.3
ocamlfind ocamlopt -package algo -shared state.ml $(shell sasa -algo $*.dot) config.ml $< -o $@ ocamlfind ocamlopt -package algo -shared state.ml $(shell sasa -algo $*.dot) config.ml $< -o $@
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment