summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-02-09 15:07:20 +0100
committerPéter Diviánszky <divipp@gmail.com>2016-02-09 15:07:20 +0100
commit1a685f055b89c3c679a38ce6201189032facaf60 (patch)
tree0a3fd65c6fb8de4d0ac641dfa3e4f6b3c999eeb3 /Makefile
parentc020c7e92404909b86de540306abc3eea53fbac6 (diff)
tweak Makefile
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index b7029bd1..d8b6783e 100644
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,7 @@
2all: 2all:
3 cabal install --constraint="indentation -trifecta" 3 cabal install --constraint="indentation -trifecta"
4 4
5LCDIR=~/.cabal/share/x86_64-linux-ghc-7.10.2/lambdacube-compiler-0.4.0.0/lc 5LCDIR=~/.cabal/share/x86_64-linux-ghc-7.10.2/lambdacube-compiler-0.5.0.0/lc
6 6
7repl: 7repl:
8 cp lc/*.lc $(LCDIR) 8 cp lc/*.lc $(LCDIR)