diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-02-09 15:07:20 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-09 15:07:20 +0100 |
commit | 1a685f055b89c3c679a38ce6201189032facaf60 (patch) | |
tree | 0a3fd65c6fb8de4d0ac641dfa3e4f6b3c999eeb3 /Makefile | |
parent | c020c7e92404909b86de540306abc3eea53fbac6 (diff) |
tweak Makefile
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ | |||
2 | all: | 2 | all: |
3 | cabal install --constraint="indentation -trifecta" | 3 | cabal install --constraint="indentation -trifecta" |
4 | 4 | ||
5 | LCDIR=~/.cabal/share/x86_64-linux-ghc-7.10.2/lambdacube-compiler-0.4.0.0/lc | 5 | LCDIR=~/.cabal/share/x86_64-linux-ghc-7.10.2/lambdacube-compiler-0.5.0.0/lc |
6 | 6 | ||
7 | repl: | 7 | repl: |
8 | cp lc/*.lc $(LCDIR) | 8 | cp lc/*.lc $(LCDIR) |