 Liang-Ting Chen
|
3376fcd27e
[ re #5500 ] `make install-bin` and similar targets add a version suffix (#5503)
|
3 سال پیش |
 Andreas Abel
|
984dbd0aca
[ make ] Distinguish v1-cabal dist directories by GHC version
|
4 سال پیش |
 Robert Estelle
|
a51c7a2d75
make: Move GHC_VERSION into new mk/ghc.mk
|
4 سال پیش |
|
Robert Estelle
|
feac9ac8aa
make: Add mk/common.mk
|
4 سال پیش |
 Ulf Norell
|
f151b617ef
[ build ] use proper path to agda mode
|
6 سال پیش |
 Andrés Sicard-Ramírez
|
3646232e9a
[ fixed #2419 ] Removed warnings when using hTags with GHC >= 8.0.1.
|
8 سال پیش |
 Philipp Hausmann
|
842fce3bd1
[ tests, MAlonzo ] Add compiler backend tests, enabled for MAlonzo only right now.
|
10 سال پیش |
|
Andrés Sicard-Ramírez
|
6e35cc7bbf
[ paths.mk ] Removed tabs and cosmetic changes.
|
10 سال پیش |
|
Andrés Sicard-Ramírez
|
1bfb00412a
[ Issue 1461 ] Added Travis instance for maint-2.4.2.
|
10 سال پیش |
 Nils Anders Danielsson
|
de2ffd5f64
[ Makefile ] Documented problems with GHC's recompilation checker.
|
10 سال پیش |
|
Nils Anders Danielsson
|
f3dc899453
[ Makefile ] Fixed bug.
|
10 سال پیش |
|
Nils Anders Danielsson
|
765cbb96c1
[ Makefile ] Different build directories for different versions.
|
10 سال پیش |
|
Andrés Sicard-Ramírez
|
b4666b8951
[ release 2.4.2.2 ] Bumped version to 2.4.2.3
|
10 سال پیش |
|
Andrés Sicard-Ramírez
|
16c8766891
[ release ] Bumped version to 2.4.2.2
|
10 سال پیش |
 Guilhem Moulin
|
d982b5bbe7
Enable 'make library-test' with an absolute $AGDA_BIN.
|
10 سال پیش |
|
Andreas Abel
|
649ed0e67b
[ build ] Don't override AGDA_BIN if already set.
|
10 سال پیش |
|
Andreas Abel
|
1da27c582a
[ build ] Build maint version just into dist/build.
|
10 سال پیش |
|
Ulf Norell
|
e40f693e8a
[ release ] bumped maint version number to 2.4.2.1
|
10 سال پیش |
|
Ulf Norell
|
d3f3d5ae26
[ release ] updated version numbers
|
10 سال پیش |
|
Ulf Norell
|
faeb767831
Merge branch 'maint-2.4.0'
|
10 سال پیش |
|
Ulf Norell
|
4324c7d420
Moved VERSION to mk/paths.mk.
|
10 سال پیش |
|
Ulf Norell
|
fc18fc1b1a
Use separate build directories for each version.
|
10 سال پیش |
 Nils Anders Danielsson
|
c527493f58
Fixed issue 614.
|
13 سال پیش |
|
Andreas Abel
|
bc997a1bf5
Fixed path for agda binary. Test suite was running with stale binary.
|
13 سال پیش |
 ulfn
|
d5f90c8deb
updated Makefiles and README to point to the new binary location
|
18 سال پیش |
|
ulfn
|
d7b76064c6
changed makefile to use cabal to build agda2
|
18 سال پیش |
|
ulfn
|
879906f8e1
ghc-6.4 compatibility
|
18 سال پیش |
|
ulfn
|
3de40371fb
compile translator by default
|
18 سال پیش |
|
ulfn
|
b515d352e3
aim4 batch patch
|
19 سال پیش |
|
ulfn
|
4768470e67
bug fix in paths.mk
|
19 سال پیش |
