diff options
Diffstat (limited to 'sched')
-rw-r--r-- | sched/Makefile | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/sched/Makefile b/sched/Makefile new file mode 100644 index 0000000..460b639 --- /dev/null +++ b/sched/Makefile @@ -0,0 +1,10 @@ +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 + +main.native: $(IN) + ocamlbuild -libs unix main.native + +clean: + rm -rf _build + rm main.native |