Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / tools / stateflow / Makefile @ 5c0d6e4e

History | View | Annotate | Download (116 Bytes)

1 2de7fa82 ploc
sf_sem:
2
	ocamlbuild sf_sem.native
3
	cp sf_sem.native sf_sem
4
5
clean:
6
	rm -rf _build
7
	rm sf_sem.native
8
9
.PHONY: sf_sem