Changes in Makefile http://src.iws.cs.ovgu.de/source/rss/hets/HolLight/OcamlTools/Makefile en Copyright 2005 Java use gmake on SunOS /hets/HolLight/OcamlTools/Makefile - 1ac35b084d7e57853f66169d2ca5532977fc403a Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> new image git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17622 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HolLight/OcamlTools/Makefile - 46713e5f9ffe83b6f0bd0f0a4fb297bf25da3112 Christian Maeder <Christian.Maeder@dfki.de> wibble git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16552 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HolLight/OcamlTools/Makefile - 08c52c0cec0842d53e51cfbedae2c0e0d6c4e641 Christian Maeder <Christian.Maeder@dfki.de> use global environment variables git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16497 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HolLight/OcamlTools/Makefile - b30a1926ed6257332005c6ad5d556dd08b196f30 Christian Maeder <Christian.Maeder@dfki.de> added garbage-collection before building image git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16494 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HolLight/OcamlTools/Makefile - 4840e920f9caeeacae35fc902b0fe720ee0e8dcb Jonathan von Schroeder <sternkinder@gmail.com> fixed checkpointing in hollight git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16491 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HolLight/OcamlTools/Makefile - 6ad9bcb1be234d475541a44c750ecf6f57294dce Jonathan von Schroeder <sternkinder@gmail.com>