1
0
Fork 0
mirror of https://gitlab.alpinelinux.org/alpine/aports.git synced 2025-07-23 19:25:25 +03:00
aports/testing/spin/makefile.patch
Daniel Sabogal 29f65ce38d testing/spin: new aport
http://spinroot.com/
Tool for formal verification of distributed software systems
2016-09-21 18:54:45 +00:00

20 lines
576 B
Diff

--- 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