summaryrefslogtreecommitdiffstats
path: root/testsuite/external/Makefile
AgeCommit message (Collapse)Author
2014-04-25update to use the git version of camlp5Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14679 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-12remove tests that depend on camlp4Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14581 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-04merge branch 4.01 from 4.01.0 (revision 14115) to branch closure (revision ↵Damien Doligez
14525) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14532 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-11-28testsuite/external: update coq, lablgtk, alt-ergoDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-11-27update for latest trunk changesDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14314 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-12Merge branch 4.01 from 4.01.0+rc1 to 4.01.0Damien Doligez
Command line used: svn merge --accept postpone -r 14055:14115 $REPO/version/4.01 . git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14121 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-04Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez
Command line used: svn merge --accept postpone -r 13776:14055 $REPO/version/4.01 . git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-06allow reinstalling without removing firstDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13753 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-03update external tests -- camlp5 still missing because the AST has changedDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-16testsuite: allow testing without installing (continued)Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13686 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-13updatesDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13521 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-04add compcert to the test suiteDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13484 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-18update some programsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13403 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-26update to latest version of a few programsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-20add kaputt to the external test suiteDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13146 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-28update hevea + small changes for cygwinDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12975 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10remove some targets that stopped working on Mac OS XDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-09dependencies for ocamlnet; add back coq and framacDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12849 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-01extended test suite: significant programs from outside our teamDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12806 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-18 14:45:14 +0000