| .. |
|
Makefile
|
0e2c2040a0
20171025 Linux (separate substitutions.conf.OS für FreeBSD und Linux; funktioniert jetzt out-of-the-box auf Ubuntu 14.04 (mit smlnj und ml-lpt packges)
|
7 years ago |
|
substitute.sh
|
a04e90cd9e
20171024 GNU make (wenn $MAKE = GNU make, dann $> in Makefiles.in mit sed zu $^ umwandeln)
|
7 years ago |
|
substitutions.conf.FreeBSD
|
0e2c2040a0
20171025 Linux (separate substitutions.conf.OS für FreeBSD und Linux; funktioniert jetzt out-of-the-box auf Ubuntu 14.04 (mit smlnj und ml-lpt packges)
|
7 years ago |
|
substitutions.conf.Linux
|
0e2c2040a0
20171025 Linux (separate substitutions.conf.OS für FreeBSD und Linux; funktioniert jetzt out-of-the-box auf Ubuntu 14.04 (mit smlnj und ml-lpt packges)
|
7 years ago |
Altlast
0e2c2040a0
20171025 Linux (separate substitutions.conf.OS für FreeBSD und Linux; funktioniert jetzt out-of-the-box auf Ubuntu 14.04 (mit smlnj und ml-lpt packges)