Skip to content
Snippets Groups Projects
Commit f100d482 authored by erwan's avatar erwan
Browse files

merlin: some trials to get a merlin env that works for everyone

parent 31e571ed
No related branches found
No related tags found
No related merge requests found
S src PKG lutils rdbg lustre-v6 lutin
S lib/sasacore
S lib/sasa
S lib/algo
S ../rdbg/lib
S ../rdbg/bin
S ../lutils/bin
S ../lutils/lib
S ../lutin/lib/lutin
S ../lutin/lib/bddand
S ../lutin/lib/ezdl
S ../lutin/lib/polka
S ../lutin/bin
S src/
S lib/sasacore/
S lib/sasa/
S lib/algo/
B _build/default/lib/algo/.algo.objs/*
B _build/default/lib/sasa/.sasa.objs/*
B $OPAM_SWITCH_PREFIX/lib/lutils B _build/default/lib/sasacore/.sasacore.objs/*
B $OPAM_SWITCH_PREFIX/lib/lutin
B $OPAM_SWITCH_PREFIX/lib/lustrev6
B $OPAM_SWITCH_PREFIX/lib/rdbg
B $OPAM_SWITCH_PREFIX/lib/ocaml
B $OPAM_SWITCH_PREFIX/lib/ocamlgraph
B _build/default/src/.sasaMain.eobjs
B _build/default/lib/algo/.algo.objs
B _build/default/lib/sasa/.sasa.objs
B _build/default/lib/sasacore/.sasacore.objs
PKG algo sasa sasacore lutils rdbg lustre-v6 lutin
# Time-stamp: <modified the 12/10/2020 (at 16:31) by Erwan Jahier> # Time-stamp: <modified the 10/11/2020 (at 10:48) by Erwan Jahier>
# #
# Define some default rules that ought to work most of the time # Define some default rules that ought to work most of the time
# #
DIR=../../_build/install/default
sasa=$(DIR)/bin/sasa -l 100
sasa=sasa sasa=sasa
LIB=-package algo LIB=-package algo
...@@ -13,15 +10,30 @@ ifndef DAEMON ...@@ -13,15 +10,30 @@ ifndef DAEMON
DAEMON=-dd DAEMON=-dd
endif endif
OCAMLOPT=ocamlfind ocamlopt -bin-annot
.PRECIOUS: %.ml .PRECIOUS: %.ml
%.ml: %.dot %.ml: %.dot
sasa -reg $< sasa -reg $<
%.cmxs: %.ml %.cmxs: %.ml
ocamlfind ocamlopt $(LIB) -shared state.ml $(shell sasa -algo $*.dot) config.ml $< -o $@ $(OCAMLOPT) $(LIB) -shared state.ml $(shell sasa -algo $*.dot) config.ml $< -o $@
genclean:
rm -f *.cmxs sasa *.cm* *.o *.pdf *.rif *.gp *.log *.dro *.seed *.c *.h sasa-*.dot *.cmt *.annot
rm -f rdbg-session*.ml luretteSession* *.lut a.out *.cov read_dot.ml
rm -f *.exec *.sh grid*.ml read_dot.ml rdbg-history
##################################################################################
#
-include Makefile.untracked
g:gnuplot
s:sim2chrogtk
OCAMLC=ocamlfind ocamlc -bin-annot
%.cma: %.ml %.cma: %.ml
ocamlfind ocamlc -a $(LIB) state.ml $(shell sasa -algo $*.dot) $< -o $@ $(OCAMLC) $(LIB) -a state.ml $(shell sasa -algo $*.dot) $< -o $@
%.lut: %.dot %.cmxs %.lut: %.dot %.cmxs
sasa -gld $< || echo "==> ok, I'll use the existing $@ file" sasa -gld $< || echo "==> ok, I'll use the existing $@ file"
...@@ -48,15 +60,3 @@ endif ...@@ -48,15 +60,3 @@ endif
%.rdbgui: %.dot %.ml %.rdbgui: %.dot %.ml
ledit -h rdbg-history -x rdbgui4sasa -sut "sasa $< $(DAEMON)" ledit -h rdbg-history -x rdbgui4sasa -sut "sasa $< $(DAEMON)"
g:gnuplot
s:sim2chrogtk
genclean:
rm -f *.cmxs sasa *.cm* *.o *.pdf *.rif *.gp *.log *.dro *.seed *.c *.h sasa-*.dot
rm -f rdbg-session*.ml luretteSession* *.lut a.out *.cov read_dot.ml
rm -f *.exec *.sh grid*.ml read_dot.ml rdbg-history
##################################################################################
-include Makefile.untracked
...@@ -3,7 +3,7 @@ ...@@ -3,7 +3,7 @@
It is meant to be loaded after the (rdbg-generated) "rdbg-cmds.ml" file. It is meant to be loaded after the (rdbg-generated) "rdbg-cmds.ml" file.
Look at the sasa/test/*/my-rdbg-commands.ml files for examples Look at the sasa/test/*/my-rdbg-commands.ml files for examples
*) *)
open RdbgMain
#require "sasa";; #require "sasa";;
(**********************************************************************) (**********************************************************************)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment