Chris Packham
cfb7d07ae1
isl: Update mirror URL
...
gforge.inria.fr has been shutdown. The isl project has moved hosting to
sourceforge.io. Update the mirror accordingly.
Signed-off-by: Chris Packham <judge.packham@gmail.com>
2021-10-10 21:35:26 +13:00
Alexey Neyman
0fe21f8db8
Config v2: select relevant parts of each package version
...
Also, remove a couple of config options that dealt with package versions
that have been since retired.
Signed-off-by: Alexey Neyman <stilor@att.net>
2019-01-30 00:09:30 -08:00
Alexey Neyman
581e8a514b
Fix build with ISL 0.20
...
Signed-off-by: Alexey Neyman <stilor@att.net>
2018-09-25 17:22:34 -07:00
Alexey Neyman
be399f1046
Record tarball formats
...
Also, missed upgrades of gmp, isl, mingw-w64
Signed-off-by: Alexey Neyman <stilor@att.net>
2017-08-18 22:39:26 -07:00
Alexey Neyman
b155ce6ab8
Encode GCC/ISL/CLooG requirements
...
Signed-off-by: Alexey Neyman <stilor@att.net>
2017-07-08 10:57:56 -07:00
Alexey Neyman
bec14208a7
Builds comp.libs from VCS
...
... fails on DUMA because it cannot be compiled by newer C++, and patches
are not applied to checkouts from VCS.
Signed-off-by: Alexey Neyman <stilor@att.net>
2017-07-08 10:57:56 -07:00
Alexey Neyman
567277099a
Fix the references to old config variables
...
Signed-off-by: Alexey Neyman <stilor@att.net>
2017-07-08 10:57:56 -07:00
Alexey Neyman
e7deac3aad
Switch comp.libs/tools and debug to new framework.
...
Signed-off-by: Alexey Neyman <stilor@att.net>
2017-07-08 10:57:56 -07:00
