 Ulf Norell
|
247bc3efa0
[ fix #5781 ] add --profile flag instead of abusing -v for profiling options
|
2 роки тому |
 Andreas Abel
|
456a0daa04
Makefile: a dedicated ghc-compiler-test goal for MALonzo/Lazy
|
2 роки тому |
|
Andreas Abel
|
0b71569945
Re #4216 #4883: New goal `make v2-type-check` using `cabal v2-build`
|
2 роки тому |
 Nils Anders Danielsson
|
dc56491ca9
Made it possible to override optimise-heavily in mk/config.mk.
|
3 роки тому |
|
Andreas Abel
|
9eadffbb0e
Refactor Makefile: a cabal/stack dictionary
|
3 роки тому |
|
Andreas Abel
|
5883777d45
[ workflows ] use YAML references to prune duplicate file lists (#5556)
|
3 роки тому |
|
Andreas Abel
|
6250c3d997
[ #5302 ] make LaTeXAndHTML TestTree redundancy free
|
3 роки тому |
|
Andreas Abel
|
d7455a69e1
[ fix #4940 ] abs path into exec-tc/executables; try properly reset environment
|
3 роки тому |
 Andrés Sicard-Ramírez
|
e2a6f2d213
[ Makefile ] Renamed `size-solver` test.
|
3 роки тому |
|
Andrés Sicard-Ramírez
|
7bfc480321
[ Makefile ] Fixed PHONY name.
|
3 роки тому |
|
Andrés Sicard-Ramírez
|
15336bb622
[ Makefile ] Fixed withespace issues.
|
3 роки тому |
 Liang-Ting Chen
|
5ff290415c
[ makefile, fix #5503 ] Do not add any additional suffix to `quicker-install-bin` and etc. (#5511)
|
3 роки тому |
|
Liang-Ting Chen
|
3376fcd27e
[ re #5500 ] `make install-bin` and similar targets add a version suffix (#5503)
|
3 роки тому |
|
Andreas Abel
|
47bdb8b3d2
[ #5465 ] CI: check encoding of Parser.y
|
3 роки тому |
 Kyle Raftogianis
|
6bd65b5645
Remove -j1 from cabal v1-configure flags
|
3 роки тому |
|
Andrés Sicard-Ramírez
|
fcef64024e
[ travis ] Fixed some tests.
|
3 роки тому |
|
Andreas Abel
|
0c258ba9a8
[ #5372 ] GHC-9.0 needs more than 4GB heap
|
3 роки тому |
|
Liang-Ting Chen
|
35d7405120
[ re #5337 ] Use agda/text-icu instead of an additional patch (#5380)
|
3 роки тому |
|
Liang-Ting Chen
|
9a02d08c13
[ fix #5120, #5259 ] A hotfix for building text-icu with icu4c 68+ (#5337)
|
3 роки тому |
|
Andreas Abel
|
4694f5f72a
[ #5271 ] Remove submodules fix-whitespace and hs-tags (#5310)
|
3 роки тому |
|
Andreas Abel
|
199ab0a69a
[ Makefile ] new goal js-compiler-test (dev only)
|
3 роки тому |
|
Andreas Abel
|
800b67354e
[ #4521 ] Makefile: new goal `v1-install` without -foptimize-aggressively
|
3 роки тому |
|
Andreas Abel
|
f4b4d8c760
[ #5230 ] ghc.mk: compute GHC_VERSION from GHC_VER
|
3 роки тому |
|
Nils Anders Danielsson
|
7716754f2a
[ #4521 ] Added the flag optimise-heavily to Agda.cabal.
|
3 роки тому |
|
Ulf Norell
|
2034d17e3e
[ #4955 ] the standard library forbids ghc-9 base library
|
3 роки тому |
|
Nils Anders Danielsson
|
d77d5cf051
Fixed #5200.
|
3 роки тому |
|
Andreas Abel
|
5d4e9cf46a
[ Makefile ] -no-deps versions of {fast,quicker}-install-bin
|
3 роки тому |
 Andrés Sicard-Ramírez
|
89a14a76a3
[ fixed #5138 ] Used `cabal-install` via the `GNUMakefile`.
|
3 роки тому |
|
Andrés Sicard-Ramírez
|
66b3e02c6b
[ closed #5112 ] Used local `stack-X.Y.Z.yaml` files.
|
3 роки тому |
|
Liang-Ting Chen
|
c97cbc0117
[ makefile, fix #5037 ] Pass build options while building size-solver
|
3 роки тому |
