diff options
| author |   Robin H. Johnson <robbat2@gentoo.org> | 2006-04-02 11:40:21 +0000 |
|---|---|---|
| committer | Robin H. Johnson <robbat2@gentoo.org> | 2006-04-02 11:40:21 +0000 |
| commit | a830249d4e353be9016be7ac24907882ed6824f9 (patch) | |
| tree | f37dfad260ca0b40000dfead7557cff97a1563f3 /sci-mathematics/nusmv/files | |
| parent | Typo fix, bug #116929 (diff) | |
| download | gentoo-2-a830249d4e353be9016be7ac24907882ed6824f9.tar.gz gentoo-2-a830249d4e353be9016be7ac24907882ed6824f9.tar.bz2 gentoo-2-a830249d4e353be9016be7ac24907882ed6824f9.zip | |
Initial commit. Ebuild by Robin H. Johnson <robbat2@gentoo.org>. This ebuild may need revisiting when GCC4.2 is closer to final.
(Portage version: 2.1_pre7-r3)
Diffstat (limited to 'sci-mathematics/nusmv/files')
| -rw-r--r-- | sci-mathematics/nusmv/files/MiniSat_v1.14-optimizedlib.patch | 44 | ||||
| -rw-r--r-- | sci-mathematics/nusmv/files/digest-nusmv-2.3.1 | 6 |
2 files changed, 50 insertions, 0 deletions
diff --git a/sci-mathematics/nusmv/files/MiniSat_v1.14-optimizedlib.patch b/sci-mathematics/nusmv/files/MiniSat_v1.14-optimizedlib.patch new file mode 100644 index 000000000000..a291339491bf --- /dev/null +++ b/sci-mathematics/nusmv/files/MiniSat_v1.14-optimizedlib.patch @@ -0,0 +1,44 @@ +diff -Nuar MiniSat_v1.14/Makefile MiniSat_v1.14.new/Makefile +--- MiniSat_v1.14/Makefile 2006-04-02 01:33:46.000000000 -0800 ++++ MiniSat_v1.14.new/Makefile 2006-04-02 01:31:39.000000000 -0800 +@@ -26,10 +26,11 @@ + RANLIB = ranlib + AR = ar + +-.PHONY : ls s p d r build clean depend ++.PHONY : lr ls s p d r build clean depend + + s: WAY=standard + ls: WAY=standard ++lr: WAY=release + p: WAY=profile + d: WAY=debug + r: WAY=release +@@ -38,8 +39,7 @@ + s: CFLAGS+=$(COPTIMIZE) -ggdb -D DEBUG + p: CFLAGS+=$(COPTIMIZE) -pg -ggdb -D DEBUG + d: CFLAGS+=-O0 -ggdb -D DEBUG +-r: CFLAGS+=$(COPTIMIZE) -D NDEBUG +-rs: CFLAGS+=$(COPTIMIZE) -D NDEBUG ++r rs ls lr: CFLAGS+=$(COPTIMIZE) -D NDEBUG + + s: build $(EXEC) + p: build $(EXEC)_profile +@@ -48,7 +48,7 @@ + rs: build $(EXEC)_static + + s: CFLAGS+=$(COPTIMIZE) -ggdb -D DEBUG +-ls: lbuild $(LIB)_s ++ls lr: lbuild $(LIB)_s + + build: + @echo Building $(EXEC) "("$(WAY)")" +@@ -63,7 +63,7 @@ + ## Build rule + %.o %.op %.od %.or: %.C + @echo Compiling: $< +- @$(CXX) $(CFLAGS) -c -o $@ $< ++ $(CXX) $(CFLAGS) -c -o $@ $< + + ## Linking rules (standard/profile/debug/release) + $(EXEC): $(COBJS) diff --git a/sci-mathematics/nusmv/files/digest-nusmv-2.3.1 b/sci-mathematics/nusmv/files/digest-nusmv-2.3.1 new file mode 100644 index 000000000000..b43a13a20b00 --- /dev/null +++ b/sci-mathematics/nusmv/files/digest-nusmv-2.3.1 @@ -0,0 +1,6 @@ +MD5 f7f7199c9cdfa5e4730fbee33b23dc46 MiniSat_v1.14_src.zip 29428 +RMD160 d5f0dc611a6116128d9a404f9045e02b185958b4 MiniSat_v1.14_src.zip 29428 +SHA256 8e5e0ee84a770dcb3abd6fc65ed4aef938f9ffabca5ddc8a739029f7fb58a8f5 MiniSat_v1.14_src.zip 29428 +MD5 8d92612574c9ce02917e8509916d098f NuSMV-2.3.1.tar.gz 2590944 +RMD160 74f00e1c29dabe98e04cf0d652b92d63a73b07dc NuSMV-2.3.1.tar.gz 2590944 +SHA256 b8ba0f29afafdfdef8c30f722eead3ef6cbb17e4bfe5563240a01d8a99dbbf68 NuSMV-2.3.1.tar.gz 2590944 |