diff options
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 |