Date: Friday, May 8, 2020 @ 09:24:33
Author: arojas
Revision: 625576
archrelease: copy trunk to community-x86_64
Added:
gfan/repos/community-x86_64/PKGBUILD
(from rev 625575, gfan/trunk/PKGBUILD)
gfan/repos/community-x86_64/gfan-cflags.patch
(from rev 625575, gfan/trunk/gfan-cflags.patch)
Deleted:
gfan/repos/community-x86_64/PKGBUILD
-------------------+
PKGBUILD | 54 +++++++++++++++++++++++++++++-----------------------
gfan-cflags.patch | 22 +++++++++++++++++++++
2 files changed, 53 insertions(+), 23 deletions(-)
Deleted: PKGBUILD
===================================================================
--- PKGBUILD 2020-05-08 09:24:14 UTC (rev 625575)
+++ PKGBUILD 2020-05-08 09:24:33 UTC (rev 625576)
@@ -1,23 +0,0 @@
-# Maintainer: Antonio Rojas <[email protected]>
-# Contributor: Rémy Oudompheng <[email protected]>
-
-pkgname=gfan
-pkgver=0.6.2
-pkgrel=1
-pkgdesc="A software package for computing Gröbner fans and tropical varieties"
-arch=(i686 x86_64)
-url="http://home.imf.au.dk/jensen/software/gfan/gfan.html";
-license=(GPL)
-depends=(cddlib)
-source=("http://home.imf.au.dk/jensen/software/gfan/gfan$pkgver.tar.gz";)
-sha256sums=('a674d5e5dc43634397de0d55dd5da3c32bd358d05f72b73a50e62c1a1686f10a')
-
-build() {
- cd gfan$pkgver
- make cddnoprefix=true
-}
-
-package() {
- cd gfan$pkgver
- make PREFIX="$pkgdir"/usr install
-}
Copied: gfan/repos/community-x86_64/PKGBUILD (from rev 625575,
gfan/trunk/PKGBUILD)
===================================================================
--- PKGBUILD (rev 0)
+++ PKGBUILD 2020-05-08 09:24:33 UTC (rev 625576)
@@ -0,0 +1,31 @@
+# Maintainer: Antonio Rojas <[email protected]>
+# Contributor: Rémy Oudompheng <[email protected]>
+
+pkgname=gfan
+pkgver=0.6.2
+pkgrel=2
+pkgdesc="A software package for computing Gröbner fans and tropical varieties"
+arch=(x86_64)
+url="http://home.imf.au.dk/jensen/software/gfan/gfan.html";
+license=(GPL)
+depends=(cddlib)
+source=("http://home.imf.au.dk/jensen/software/gfan/gfan$pkgver.tar.gz";
+ gfan-cflags.patch)
+sha256sums=('a674d5e5dc43634397de0d55dd5da3c32bd358d05f72b73a50e62c1a1686f10a'
+ 'a6130c0b576cc58a86cc1010b2fb3359666ac6c5de9ae2d939877b8f609c9dff')
+
+prepare() {
+ cd gfan$pkgver
+# Honor system build flags
+ patch -p1 -i ../gfan-cflags.patch
+}
+
+build() {
+ cd gfan$pkgver
+ make cddnoprefix=true
+}
+
+package() {
+ cd gfan$pkgver
+ make PREFIX="$pkgdir"/usr install
+}
Copied: gfan/repos/community-x86_64/gfan-cflags.patch (from rev 625575,
gfan/trunk/gfan-cflags.patch)
===================================================================
--- gfan-cflags.patch (rev 0)
+++ gfan-cflags.patch 2020-05-08 09:24:33 UTC (rev 625576)
@@ -0,0 +1,22 @@
+--- gfan0.6.2/Makefile.orig 2020-05-08 09:10:02.952290351 +0000
++++ gfan0.6.2/Makefile 2020-05-08 09:09:41.515318169 +0000
+@@ -125,8 +125,8 @@
+ #OPTFLAGS = -DGMPRATIONAL -Wuninitialized -fno-omit-frame-pointer -O3
-msse2 -ftree-vectorizer-verbose=2 -ffast-math #-DNDEBUG
+ #OPTFLAGS = -DGMPRATIONAL -Wuninitialized -fno-omit-frame-pointer -O3
-mavx -msse2 -ftree-vectorizer-verbose=2 -ffast-math #-DNDEBUG
+
+-CFLAGS = $(OPTFLAGS) $(GPROFFLAG) $(STACTDUMP_OPTIONS)
$(ADDITIONALINCLUDEOPTIONS) -std=c++0x -g $(CDDDEFINE_PREFIX) #-pedantic
+-#CFLAGS = $(OPTFLAGS) $(GPROFFLAG) $(STACTDUMP_OPTIONS)
$(ADDITIONALINCLUDEOPTIONS) -D_GLIBCXX_DEBUG -std=c++0x -g $(CDDDEFINE_PREFIX)
#-pedantic
++CFLAGS := $(OPTFLAGS) $(STACTDUMP_OPTIONS)
$(ADDITIONALINCLUDEOPTIONS) $(CPPFLAGS) $(CFLAGS) $(CDDDEFINE_PREFIX) #-pedantic
++#CFLAGS := $(OPTFLAGS) $(STACTDUMP_OPTIONS)
$(ADDITIONALINCLUDEOPTIONS) -D_GLIBCXX_DEBUG $(CPPFLAGS) $(CFLAGS)
$(CDDDEFINE_PREFIX) #-pedantic
+ CCFLAGS = $(CFLAGS)
+ FFLAGS = $(OPTFLAGS)
+
+@@ -420,7 +420,7 @@
+
+ $(MAIN): $(OBJECTS)
+ # $(CCLINKER) $(OBJECTS) $(ADDITIONALLINKOPTIONS) $(GPROFFLAG) -lpthread
-o $(MAIN)
+- $(CCLINKER) $(OBJECTS) $(ADDITIONALLINKOPTIONS) $(GPROFFLAG) -lpthread
-rdynamic -o $(MAIN)
++ $(CCLINKER) $(OBJECTS) $(ADDITIONALLINKOPTIONS) $(LDFLAGS) -lpthread
-rdynamic -o $(MAIN)
+
+ release:
+ rm -f -r $(RELEASEDIR)/*
