summaryrefslogtreecommitdiffstats
path: root/testsuite/external/Makefile
AgeCommit message (Expand)Author
2014-04-25update to use the git version of camlp5Damien Doligez
2014-04-12remove tests that depend on camlp4Damien Doligez
2014-04-04merge branch 4.01 from 4.01.0 (revision 14115) to branch closure (revision 14...Damien Doligez
2013-11-28testsuite/external: update coq, lablgtk, alt-ergoDamien Doligez
2013-11-27update for latest trunk changesDamien Doligez
2013-09-12Merge branch 4.01 from 4.01.0+rc1 to 4.01.0Damien Doligez
2013-09-04Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez
2013-06-06allow reinstalling without removing firstDamien Doligez
2013-06-03update external tests -- camlp5 still missing because the AST has changedDamien Doligez
2013-05-16testsuite: allow testing without installing (continued)Damien Doligez
2013-04-13updatesDamien Doligez
2013-04-04add compcert to the test suiteDamien Doligez
2013-03-18update some programsDamien Doligez
2013-02-26update to latest version of a few programsDamien Doligez
2012-12-20add kaputt to the external test suiteDamien Doligez
2012-09-28update hevea + small changes for cygwinDamien Doligez
2012-09-10remove some targets that stopped working on Mac OS XDamien Doligez
2012-08-09dependencies for ocamlnet; add back coq and framacDamien Doligez
2012-08-01extended test suite: significant programs from outside our teamDamien Doligez