| #
505f486c |
|
13-Jul-2007 |
Hasan Amjad <ha227@cam.ac.uk> |
Removed extra occurrence of CFLAGS so that MuDDy Makefile is generated correctly.
|
| #
ae871a4d |
|
17-Oct-2001 |
Ken Friis Larsen <ken@friislarsen.net> |
Modified to MuDDy 2.0
|
| #
958157d6 |
|
19-Feb-2001 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Hasan Amjad pointed out that the directory MOSMLHOME/src/runtime won't
exist if someone is using the binary distribution of Mosml, but that
MOSMLHOME/include exists in both the source and binary distributions.
So, this is where we need to point the MOSMLRUNTIME makefile variable.
|
| #
28a3478b |
|
25-Jan-2000 |
Konrad Slind <konrad.slind@gmail.com> |
Upgrades to handle external tools slightly better.
|
| #
cf902e61 |
|
16-Dec-1999 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fiddled with configuration files in attempt to get muddy to build under
Solaris, which it should.
|
| #
2dab9161 |
|
23-Sep-1999 |
Konrad Slind <konrad.slind@gmail.com> |
Additions for the new Muddy BDD package.
|