diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2015-12-21 00:00:12 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2015-12-21 00:07:02 +0100 |
| commit | 1bb4704d19d44707db07537fa6bb94ad71819168 (patch) | |
| tree | 0abfad108eb2bc1190dbb2949abe3b5aed5b2567 /run-test-suite.sh | |
| parent | 2a53288dd99e25aaf588899cf0f88ff44f4f82e8 (diff) | |
Do not include source files of the `indentation` package.
These files were included only to avoid of intstallation of the unnecessary `trifecta` dependency.
Another way to avoid the `trifecta` dependency is documented now in the README file.
Diffstat (limited to 'run-test-suite.sh')
| -rwxr-xr-x | run-test-suite.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-test-suite.sh b/run-test-suite.sh index 9ced8e55..b0a0e3c2 100755 --- a/run-test-suite.sh +++ b/run-test-suite.sh | |||
| @@ -5,7 +5,7 @@ if [ "$1" == "--profile" ] ; then | |||
| 5 | cabal clean | 5 | cabal clean |
| 6 | cabal sandbox delete | 6 | cabal sandbox delete |
| 7 | cabal sandbox init | 7 | cabal sandbox init |
| 8 | cabal install --only-dependencies --enable-library-profiling --enable-executable-profiling | 8 | cabal install --only-dependencies --enable-library-profiling --enable-executable-profiling --constraint="indentation -trifecta" |
| 9 | cabal configure --flags "profiling" --enable-library-profiling --enable-executable-profiling | 9 | cabal configure --flags "profiling" --enable-library-profiling --enable-executable-profiling |
| 10 | cabal build | 10 | cabal build |
| 11 | cabal run lambdacube-compiler-test-suite -- $@ +RTS -p | 11 | cabal run lambdacube-compiler-test-suite -- $@ +RTS -p |