summaryrefslogtreecommitdiff
path: root/mi/Makefile
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2014-10-30 13:27:35 -0400
committerOri Bernstein <ori@eigenstate.org>2014-10-30 13:27:35 -0400
commit28318bd41da29f6e406c55247414cdcf3d071a30 (patch)
tree604401364a8b0f42b427521900a63e25c47c0308 /mi/Makefile
parent87d2d8e139a034216b32cc752d4245837a4cc0f7 (diff)
downloadmc-28318bd41da29f6e406c55247414cdcf3d071a30.tar.gz
Unrename 'opt' -> 'mi'
Diffstat (limited to 'mi/Makefile')
-rw-r--r--mi/Makefile9
1 files changed, 9 insertions, 0 deletions
diff --git a/mi/Makefile b/mi/Makefile
new file mode 100644
index 0000000..f2ad256
--- /dev/null
+++ b/mi/Makefile
@@ -0,0 +1,9 @@
+LIB=libmi.a
+OBJ=cfg.o \
+ fold.o \
+ match.o \
+ df.o \
+
+DEPS=../parse/libparse.a
+
+include ../mk/c.mk