diff options
Diffstat (limited to 'testing/spin/makefile.patch')
| -rw-r--r-- | testing/spin/makefile.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/testing/spin/makefile.patch b/testing/spin/makefile.patch new file mode 100644 index 000000000..1e01f4f8d --- /dev/null +++ b/testing/spin/makefile.patch @@ -0,0 +1,20 @@ +--- Spin/Src6.4.5/makefile.orig ++++ Spin/Src6.4.5/makefile +@@ -7,8 +7,6 @@ + # see also ./make_pc for a simpler script not requiring make + # for 32-bit compilation, use ./make32 + +-CC=gcc +-CFLAGS=-O2 -DNXT # on some systems add: -I/usr/include + # on a PC: add -DPC + # on Solaris: add -DSOLARIS + # on a Mac: add -DMAC +@@ -37,7 +35,7 @@ + tl_mem.o tl_rewrt.o tl_cache.o + + spin: $(SPIN_OS) $(TL_OS) spin.o +- $(CC) $(CFLAGS) -o spin spin.o $(SPIN_OS) $(TL_OS) ++ $(CC) $(CFLAGS) $(LDFLAGS) -o spin spin.o $(SPIN_OS) $(TL_OS) + + install: spin + cp spin /usr/local/bin |