diff options
author | Daniel Sabogal <dsabogalcc@gmail.com> | 2016-09-18 21:24:48 -0400 |
---|---|---|
committer | Natanael Copa <ncopa@alpinelinux.org> | 2016-09-21 18:54:45 +0000 |
commit | 29f65ce38db868181e9ded55b472ef5d2c226976 (patch) | |
tree | 926d3be8b5a044211b6a55ee54a4af1fbe43569c /testing/spin/makefile.patch | |
parent | cbb190ca195c6a6eeb1b9e2c96816e907d4d9c10 (diff) | |
download | aports-29f65ce38db868181e9ded55b472ef5d2c226976.tar.bz2 aports-29f65ce38db868181e9ded55b472ef5d2c226976.tar.xz |
testing/spin: new aport
http://spinroot.com/
Tool for formal verification of distributed software systems
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 0000000000..1e01f4f8d2 --- /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 |