summaryrefslogtreecommitdiff
path: root/sched
diff options
context:
space:
mode:
Diffstat (limited to 'sched')
-rw-r--r--sched/Makefile10
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