summaryrefslogtreecommitdiff
path: root/configure
Commit message (Expand)AuthorAge
* Backtracking on commit 1220Gravatar xleroy2010-01-13
* Problem with MacOS X 10.6Gravatar xleroy2009-10-25
* Cleaned up configure script.Gravatar xleroy2009-03-29
* Reorganized the development, modularizing away machine-dependent parts.Gravatar xleroy2008-12-30
* Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...Gravatar xleroy2008-04-19
* Ajout license, README, copyright noticesGravatar xleroy2008-01-27
* Ajout et utilisation de caml/Driver.ml. Ajout ./configure. Revu MakefilesGravatar xleroy2007-08-06