| 961087225d1d2b9534152a346d1a3755ed952fcd |
|
29-Apr-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
programatica: now per default disabled; misc pkg related fixes |
| b4ab7ae1ed9acc011f9f22d4ac6c3071ee843e19 |
|
24-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
change sks to cps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18583 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 566b1699acfe4fdcd67061fa25d6747b9789e90d |
|
03-Mar-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
programatica update for ghc-7.8
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18521 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d529781ea5bd4e2c934f9b8d4c74406864ffd8d4 |
|
12-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
also strip lib64 subdir
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18379 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ddeca6263879fce60a36ea00492ed1c8e1fc331f |
|
27-Nov-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
include glade
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17636 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 092300709012b3bd88bf22c38fa50115115470b4 |
|
10-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more working packages and profiling for ghc-7.6.1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17514 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 76401eac18c41270987ffe3e774d65665bfd0dd7 |
|
07-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
current packages for ghc-7.6.1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17312 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b4fb21fff7d47eb6a57aadd6f58aeb7cb72808ba |
|
12-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted accidental change
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17029 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 742b3a41d26b8ce8d06daf133b9759dfbb554b8c |
|
12-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to improve parser error message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17028 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0fbb2bf8f60d768c3bdcbd97109ff6e7ef22ef6f |
|
12-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
packages for ghc-7.4.2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16907 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b3d30f05ea6f79e7a7cb092cc7feecf0408ec112 |
|
07-Feb-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch to programatica-1.0.0.4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16651 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 20442057143ae9f352c30572969d1a979258665a |
|
16-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
cabal-install-0.10.2 fails to install
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16454 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 818cc2a58dfbc357ebe40d7c91d44c18d00f463c |
|
15-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added programatica and cabal-install
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16451 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 820ea965b34b93faf555c668a55bccb232b709e0 |
|
14-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16446 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 71ba5e2ae1603652ab5e68f7a04705d4a367a811 |
|
02-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
add package random, cairo is needed by glade
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16076 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2300d7d0aac3d9b7203f9c7a8a02b686d8c84082 |
|
31-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed haskell-src
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16067 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 180e4a3b6c3d466a44f6e01d1eb611dc13fdb0c5 |
|
04-Mar-2011 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
added comments to installHetsPkgs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14666 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 651b65d88715480a474041557bee863ea8b10fba |
|
04-Mar-2011 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
added deps for hets packs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14665 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f161f9015db69629c035851e94380fec712598c2 |
|
04-Mar-2011 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
updated installHetsPckgs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14662 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 03f9c14dea1bb3dafc1297c40952a790fde7b503 |
|
04-Mar-2011 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
updated utils/installHetsPkgs.sh
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14660 cec4b9c1-7d33-0410-9eda-942365e851bb |
| cbff64629ae67280a9036fab32d1ce0039f35288 |
|
04-Mar-2011 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
updated utils/installHetsPkgs.sh
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14659 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5e9f2835f89542a4db162963bdfced8a535394bf |
|
16-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
call cabal to install packages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14226 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 169e08f4d5c811f9690042b24448ef3b751f5ff1 |
|
04-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
updated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14194 cec4b9c1-7d33-0410-9eda-942365e851bb |
| dccf0c84f0cddf5086e1a383505c7331a7e56dde |
|
01-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
set required packages for ghc-7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14178 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 599597c9c8976a11bdd6d97f565c23f6665fb0d1 |
|
27-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
bumped versions for ghc-7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14096 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c7cf09ae27e389e401f2532c87656121e9f1d0a5 |
|
23-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
take newer fgl version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13925 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 00fd29f7901da09a256b431aa3a7d2f844658c7e |
|
14-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
use global prefix
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13593 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d0e2812daf5ff26687753c71458fac7e398606e4 |
|
14-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
minimal hets libs and cabal-install
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13589 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 73f27e3dcf75a535c0a184bfcd268495cd3e5fd8 |
|
10-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed tabular package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13574 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 96c90c931a928ef3121412e9e87770070b17554e |
|
03-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove packedstring
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13513 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4512a13843dcd1833d8287cabb86eee4ee27504f |
|
22-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added missing back slash
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13371 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 09048db424a0f5ec4eb999181c1730e66f8d058b |
|
22-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added some more platform packages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13370 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0d63d091e0be082ddee260862ec45e3364d7f60f |
|
22-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
latest versions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13368 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e9752d95d288e3d4eda33af7a9a0556c0d1d9d00 |
|
25-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added packedstring for uni
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13003 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ab6123ad894e6b5dc2d0a67456cf4614b0d29c2b |
|
22-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
more packages needed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13002 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e6cc811bbde12c09370c2685bf944ce03e19b99e |
|
22-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
ghc-6.12.1 packages for hets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13001 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e4aeced5394758cc762e8817d031855cc1abb02c |
|
09-Oct-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Removed shellac dependency - now only haskeline is used.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12609 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9bcebf0424e96d1c737455490f058ea62f5080a6 |
|
04-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed further haifa stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12026 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2a42cb7a8b69d3c7376358d788e52c9b8b750711 |
|
04-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
time-1.1.3 is part of ghc-6.10.3
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11786 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9fd1eed2514e0c46a4b47b02c62dc2c6717231c7 |
|
04-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted for ghc-6.10.3
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11782 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7c4b45011ca12526ec6438c0459ff75ffe106e26 |
|
06-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
script to install many ghc packages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11645 cec4b9c1-7d33-0410-9eda-942365e851bb |