diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-02-18 18:34:47 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-19 02:50:09 +0100 |
| commit | 998ae8f884f4b1d4e092ebdf3a441b97b2cf05b7 (patch) | |
| tree | 6ced17ee38fa78de69b05c8765288ecabe52fb6e /Makefile | |
| parent | 27c8f3aeb2d13da0bec522ee8a8a98f534fa39e8 (diff) | |
tuples are heterogeneous lists
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
| @@ -5,9 +5,11 @@ all: | |||
| 5 | LCDIR=~/.cabal/share/x86_64-linux-ghc-7.10.2/lambdacube-compiler-0.5.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) | ||
| 9 | cd test && ghci -Wall -fno-warn-name-shadowing -fno-warn-unused-matches -fno-warn-missing-signatures -fno-warn-incomplete-patterns -fno-warn-overlapping-patterns -fno-warn-type-defaults -i../src -i../dist/build/autogen runTests.hs | 8 | cd test && ghci -Wall -fno-warn-name-shadowing -fno-warn-unused-matches -fno-warn-missing-signatures -fno-warn-incomplete-patterns -fno-warn-overlapping-patterns -fno-warn-type-defaults -i../src -i../dist/build/autogen runTests.hs |
| 10 | 9 | ||
| 10 | copylc: | ||
| 11 | cp lc/*.lc $(LCDIR) | ||
| 12 | |||
| 11 | coverage: | 13 | coverage: |
| 12 | ./run-test-suite.sh --coverage | 14 | ./run-test-suite.sh --coverage |
| 13 | 15 | ||