blob: ce827002c551dc2d42638e49226fa02d1e4e4582 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
--- Makefile.inc.orig Wed Aug 4 11:40:24 1999
+++ Makefile.inc Fri Jan 14 16:00:57 2000
@@ -2,7 +2,7 @@
# Where to install stuff
-MOSMLHOME=${HOME}/mosml
+#MOSMLHOME=${HOME}/mosml
# Various utility programs
INSTALL_PROGRAM=cp
@@ -15,12 +15,12 @@
ADDPRIMS=dynlib.c
ADDOBJS=dynlib.o
-ADDRUNLIBS=-ldl
+ADDRUNLIBS=
ADDRUNCFLAGS=
ADDDYNLIBCFLAGS=
# For Linux, use:
-CPP=/lib/cpp -P -traditional -Dunix -Umsdos
+CPP=/usr/bin/cpp -P -traditional
STRIP=strip
LD=gcc -rdynamic
DYNLD=ld -shared
|