diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-04 13:09:05 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-04 13:09:05 +0100 |
| commit | 906d9a5356fe7b90fc14a9c0d6a0d65abb7e80a8 (patch) | |
| tree | 3bc66c64240ee0b2cda71c1879169ff01e5cfc58 /sched/Makefile | |
| parent | 39df9f197b987e0a2c564276d5b65a97f1fb2700 (diff) | |
| download | SystDigit-Projet-906d9a5356fe7b90fc14a9c0d6a0d65abb7e80a8.tar.gz SystDigit-Projet-906d9a5356fe7b90fc14a9c0d6a0d65abb7e80a8.zip | |
Document programs ; better time support in monitor.
Diffstat (limited to 'sched/Makefile')
| -rw-r--r-- | sched/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/sched/Makefile b/sched/Makefile index 460b639..4d36b96 100644 --- a/sched/Makefile +++ b/sched/Makefile @@ -1,10 +1,11 @@ IN=graph.ml main.ml netlist_ast.ml netlist_dumb.ml netlist_lexer.mll netlist.ml netlist_parser.mly netlist_printer.ml scheduler.ml simplify.ml -all: main.native +all: sched -main.native: $(IN) +sched: $(IN) ocamlbuild -libs unix main.native + mv main.native sched clean: + rm sched rm -rf _build - rm main.native |