Add repl target

yfyf · Sep 16, 2013 · 818107d · 818107d
1 parent 991d623
commit 818107d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/README → README.md b/README → README.md
diff --git a/src/Makefile b/src/Makefile
@@ -1,4 +1,4 @@
-.PHONY: Locks
+.PHONY: Locks repl
 
 all: Locks ConcState
 
@@ -11,3 +11,5 @@ ConcEnv.ibc: ConcEnv.idr
 ConcState: ConcState.idr ConcEnv.ibc
 	idris -o $@ $< -i Locks/ -p effects
 
+repl: ConcEnv.ibc Locks
+	idris -i Locks/ -p effects ConcState.idr