 Andrés Sicard-Ramírez
|
0366a7956c
[ fixed #3444 ] Fixed `Setup.hs` when using Cabal >= 2.0.0.0.
|
6 yıl önce |
|
Andrés Sicard-Ramírez
|
d606f41bb4
[ Setup.hs ] Only cosmetics.
|
6 yıl önce |
|
Andrés Sicard-Ramírez
|
7e0fe82fad
[ fixed #3128 ] Fixed typo (Builtins -> Builtin).
|
6 yıl önce |
 Ulf Norell
|
57189349e7
Fix build on ghc =< 8.4 and Cabal >= 2.3
|
6 yıl önce |
|
Andrés Sicard-Ramírez
|
0440754fe1
[ #3160 ] Fixed compilation of `Setup.hs` with GHC 7.10.3.
|
6 yıl önce |
|
Andrés Sicard-Ramírez
|
6c5ff3d07c
[ #3160 ] Fixed `Setup.hs` compilation.
|
6 yıl önce |
|
Andrés Sicard-Ramírez
|
ed62c4067e
[ fixed #3128 ] Running Agda on all the built-ins files in `Setup.hs`.
|
6 yıl önce |
 Andrea Vezzosi
|
51914041f1
[ cubical ] Added Agda.Builtin.Cubical.{Path,Id,Sub}
|
6 yıl önce |
 Milo Turner
|
6edcd19e7c
Include Word.agda in Setup.hs, fixed #2923
|
7 yıl önce |
|
Ulf Norell
|
72b3898f7d
[ build ] fixed broken package registration
|
9 yıl önce |
|
Ulf Norell
|
83b392296d
[ builtin ] added all builtins and primitives to Agda.Builtin.* modules
|
9 yıl önce |
|
Ulf Norell
|
149e83a828
[ build ] newer cabal version (>= 1.18) don't run postInst hook
|
9 yıl önce |
 ulfn
|
20ca5fe2be
[build] using rawSystem instead of system when compiling Agda.Primitive
|
11 yıl önce |
|
ulfn
|
45eea9fe7f
[ issue1042 ] handle spaces in filenames when generating Agda.Primitive interface
|
11 yıl önce |
|
ulfn
|
e0c9b8387e
[ issue993 ] fixed path capitalization issue in Setup.hs
|
11 yıl önce |
|
ulfn
|
f8882f849a
[ issue993 ] replaced some /s and .s by </> and <.> for improved portability
|
11 yıl önce |
|
ulfn
|
84978ebcd0
[ issue993 ] fixed: added a cabal post-install hook to generate agdai for Agda.Primitive
|
11 yıl önce |
 Nils Anders Danielsson
|
dc65ecb11a
Merged the agda-pkg package with the Agda package.
|
15 yıl önce |
|
Nils Anders Danielsson
|
2e9a2dea74
Switched from defaultMainWithHooks to defaultMain.
|
16 yıl önce |
 ulfn
|
e727d46219
cabal things
|
18 yıl önce |
|
ulfn
|
6c1da22ded
starting to Cabalise Agda
|
18 yıl önce |
