 Nils Anders Danielsson
|
02cb18a317
Replaced "cabal build" with "cabal v1-build" in type-check.
|
4 yıl önce |
 Andreas Abel
|
78cd3d81a6
[ fixes #3939 closes #2038 ] new Makefile goal: type-check
|
4 yıl önce |
|
Nils Anders Danielsson
|
b8a2571957
Moved a comment.
|
4 yıl önce |
|
Nils Anders Danielsson
|
10da8abf46
[ #4521 ] Changed the default value of GHC_OPTS for 32-bit systems.
|
4 yıl önce |
|
Nils Anders Danielsson
|
c0b4c610f8
Fixed a bug in cubical-test.
|
4 yıl önce |
 Ziyang Liu
|
a1f2b7561b
Remove redundant message in Makefile
|
4 yıl önce |
 Andrés Sicard-Ramírez
|
58bf89cd0e
[ closed #4561 ] Added benchmark summary test.
|
4 yıl önce |
|
Andrés Sicard-Ramírez
|
4f28a591c6
[ #4445 ] Added independent targets for the cubical library.
|
4 yıl önce |
|
Nils Anders Danielsson
|
f3ac25c59e
Made the test for the cubical library use AGDA_BIN and AGDA_OPTS.
|
4 yıl önce |
 Ulf Norell
|
9d3c4778c9
[ fix #4445 ] add cubical library to the test suite
|
4 yıl önce |
 Liang-Ting Chen
|
72d80b5e3c
[ Makefile ] Fix a typo
|
4 yıl önce |
|
Andrés Sicard-Ramírez
|
06708d2d3f
Used the same prefix (std-lib) for tests using the standard library.
|
4 yıl önce |
|
Andrés Sicard-Ramírez
|
5df65100cc
[ Makefile ] Fixed typo.
|
4 yıl önce |
|
Andrés Sicard-Ramírez
|
f89529cabb
[ Makefile ] Added rule for running tests using the std-lib.
|
4 yıl önce |
|
Andrés Sicard-Ramírez
|
eccdb29e6b
[ Makefile ] Fixed withespace issue and layout.
|
4 yıl önce |
|
Liang-Ting Chen
|
dcb0f82f90
[ Makefile ] Fix a comment [skip ci]
|
4 yıl önce |
|
Liang-Ting Chen
|
54ba454c12
[ #4340 ] Makefile revision (#4344)
|
4 yıl önce |
|
Andrés Sicard-Ramírez
|
ad8d2b430c
[ Makefile ] Added variables to the `debug` rule.
|
4 yıl önce |
|
Andrés Sicard-Ramírez
|
d73103fb6c
[ fix, makefiles ] Used always cabal v1-commands.
|
4 yıl önce |
|
Andrés Sicard-Ramírez
|
249b6e6eb0
[ Makefile ] Cosmetics.
|
5 yıl önce |
|
Andrés Sicard-Ramírez
|
495a412893
[ Makefile ] Only cosmetic changes.
|
5 yıl önce |
|
Andrés Sicard-Ramírez
|
399b684909
[ Makefile ] Changed the title of some tests.
|
5 yıl önce |
|
Andrés Sicard-Ramírez
|
61052a9814
[ Makefile ]
|
5 yıl önce |
|
Andrés Sicard-Ramírez
|
5c67a8bfd9
[ Makefile ] Debugged some variables.
|
5 yıl önce |
|
Liang-Ting Chen
|
621ef12e22
[ travis, Makefile ] Use Travis' log folding trick (#4257)
|
5 yıl önce |
 Jesper Cockx
|
fb167e3376
[ fix #3759 ] Set default RTS options to `-H3.5G -M3.5G -A128M`
|
5 yıl önce |
|
Andrés Sicard-Ramírez
|
b95144bac8
[ Makefile ] Fixed clean rule.
|
5 yıl önce |
|
Nils Anders Danielsson
|
b78670b8a3
Made make install work on 32-bit systems.
|
5 yıl önce |
|
Liang-Ting Chen
|
a24762f66b
[ re #4177 ] Travis overhaul (#4224)
|
5 yıl önce |
|
Ulf Norell
|
a2a54ce1b9
Bump memory limit for std-lib test
|
5 yıl önce |
