 Artem Shinkarov
|
7f62bcb450
Force interface regeneration using --ignore-all-interfaces.
|
преди 4 години |
 Ulf Norell
|
34ea711e40
[ build ] don't try to copy .agdai files if we haven't built them
|
преди 4 години |
 Andreas Abel
|
5dd0367396
[ fixed #4569 ] by deferring the generation of .agdai to copyHook
|
преди 4 години |
|
Andreas Abel
|
7a0417c77e
[ quicker-install-bin #4151 ] skip even generation of agdai files
|
преди 5 години |
 Guillaume Allais
|
c93d48102b
[ re #3949 ] new option --local-interfaces
|
преди 5 години |
|
G. Allais
|
20097f6157
[ fix #3545 ] warn users about COMPILE pragmas targeting erased symbols (#3850)
|
преди 5 години |
 Robert Estelle
|
3ab3261fe3
Remove all build specializations for GHC <8
|
преди 5 години |
|
Robert Estelle
|
43ba647a58
Use 800 as GHC version boundary condition vs 710
|
преди 5 години |
 Nils Anders Danielsson
|
b71beb8f36
Fixed #3648.
|
преди 5 години |
 Oleg Grenrus
|
378020321a
[ Setup.hs ] type-check Primitive in a build phase
|
преди 6 години |
|
Oleg Grenrus
|
1470dad36e
[ #3344 ] Compiler version check can be declared in .cabal file (#3560)
|
преди 6 години |
 Fredrik Nordvall Forsberg
|
60bac1c411
Always install fresh builtin interfaces during installation (re #3522)
|
преди 6 години |
 Andrés Sicard-Ramírez
|
8a41c16692
[ fixed #3344 ] Disabled GHC 8.6.1.
|
преди 6 години |
|
Andrés Sicard-Ramírez
|
b618d3a653
[ closed #3128 ] Fixed issue on GHC 7.10.3.
|
преди 6 години |
|
Andrés Sicard-Ramírez
|
f18591c941
[ #3128 ] Replaced warning with error.
|
преди 6 години |
|
Andrés Sicard-Ramírez
|
0366a7956c
[ fixed #3444 ] Fixed `Setup.hs` when using Cabal >= 2.0.0.0.
|
преди 6 години |
|
Andrés Sicard-Ramírez
|
d606f41bb4
[ Setup.hs ] Only cosmetics.
|
преди 6 години |
|
Andrés Sicard-Ramírez
|
7e0fe82fad
[ fixed #3128 ] Fixed typo (Builtins -> Builtin).
|
преди 6 години |
|
Ulf Norell
|
57189349e7
Fix build on ghc =< 8.4 and Cabal >= 2.3
|
преди 6 години |
|
Andrés Sicard-Ramírez
|
0440754fe1
[ #3160 ] Fixed compilation of `Setup.hs` with GHC 7.10.3.
|
преди 6 години |
|
Andrés Sicard-Ramírez
|
6c5ff3d07c
[ #3160 ] Fixed `Setup.hs` compilation.
|
преди 6 години |
|
Andrés Sicard-Ramírez
|
ed62c4067e
[ fixed #3128 ] Running Agda on all the built-ins files in `Setup.hs`.
|
преди 6 години |
 Andrea Vezzosi
|
51914041f1
[ cubical ] Added Agda.Builtin.Cubical.{Path,Id,Sub}
|
преди 6 години |
 Milo Turner
|
6edcd19e7c
Include Word.agda in Setup.hs, fixed #2923
|
преди 7 години |
|
Ulf Norell
|
72b3898f7d
[ build ] fixed broken package registration
|
преди 9 години |
|
Ulf Norell
|
83b392296d
[ builtin ] added all builtins and primitives to Agda.Builtin.* modules
|
преди 9 години |
|
Ulf Norell
|
149e83a828
[ build ] newer cabal version (>= 1.18) don't run postInst hook
|
преди 9 години |
 ulfn
|
20ca5fe2be
[build] using rawSystem instead of system when compiling Agda.Primitive
|
преди 11 години |
|
ulfn
|
45eea9fe7f
[ issue1042 ] handle spaces in filenames when generating Agda.Primitive interface
|
преди 11 години |
|
ulfn
|
e0c9b8387e
[ issue993 ] fixed path capitalization issue in Setup.hs
|
преди 11 години |
