Skip to content
Snippets Groups Projects
Normal view Permalink
Makefile 155 B
Newer Older
erwan's avatar
initial commit
erwan committed
1 2
erwan's avatar
build: fix opam package  
erwan committed
3 
build: lib/sasacore/sasaVersion.ml
erwan's avatar
New: the sasaRun rdbg-plugin now works  
erwan committed
4 5 6 
	dune build  @install

install:
erwan's avatar
Build: set-up opam files  
erwan committed
7 
	dune install
erwan's avatar
initial commit
erwan committed
8
erwan's avatar
Breaking: use .ml files instead of .cmxs in algo fields of dot files.  
erwan committed
9 10 
reinstall:install
erwan's avatar
Build: try to set-up an opam package  
erwan committed
11 12 13 
uninstall:
	dune uninstall
erwan's avatar
Fix: CI  
erwan committed
14
erwan's avatar
Build: split the sasa opma package to separate it fron rdbgui4sasa (and remove...  
erwan committed
15 
-include Makefile.sasa