Package Details: gecode 6.0.1-1

Git Clone URL: https://aur.archlinux.org/gecode.git (read-only)
Package Base: gecode
Description: The Generic Constraint Development Environment
Upstream URL: http://www.gecode.org
Licenses: MIT
Submitter: BinkyTheClown
Maintainer: ItachiSan
Last Packager: ItachiSan
Votes: 9
Popularity: 0.000001
First Submitted: 2008-02-13 16:42
Last Updated: 2018-09-02 12:55

Dependencies (0)

Required by (0)

Sources (1)

Latest Comments

1 2 Next › Last »

dric512 commented on 2018-05-11 20:00

Here is the patch to support version 6.0.0:

diff --git a/PKGBUILD b/PKGBUILD
index [`8451d91`](https://aur.archlinux.org/cgit/aur.git/commit/?h=gecode&id=8451d91)..fb1af0f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Contributor: Alexander Scharinger
 # Contributor: Gustavo A. Gomez Farhat <gustavo_dot_gomez_dot_farhat at gmail_dot_com>
 pkgname=gecode
-pkgver=5.1.0
+pkgver=6.0.0
 pkgrel=1
 pkgdesc="The Generic Constraint Development Environment"
 arch=('i686' 'x86_64')
@@ -23,7 +23,7 @@ source=(<http://www.gecode.org/download/>$pkgname-$pkgver.tar.gz)
 # MD5 sum can not be found anywhere on the webpage.
 # Use the following shell command to generate and update the md5 sum.
 # $ makepkg -g >> PKGBUILD
-md5sums=('79674c35d0af68d6ef8854da756792eb')
+md5sums=('bc524a7d4a3d0da7d03d9b5ccdeb9f6b')

 build() {
   cd "$srcdir/$pkgname-$pkgver"

untitled commented on 2016-08-05 14:01

I get the following error when trying to build the package.

==> Validating source files with md5sums...
gecode-4.4.0.tar.gz ... FAILED
==> ERROR: One or more files did not pass the validity check!

Updated PKGBUILD follows below:

# Maintainer: Alexander Scharinger <e1028732 at student dot tuwien dot ac dot at>
# Contributor: Gustavo A. Gomez Farhat <gustavo_dot_gomez_dot_farhat at gmail_dot_com>
pkgname=gecode
pkgver=4.4.0
pkgrel=1
pkgdesc="The Generic Constraint Development Environment"
arch=('i686' 'x86_64')
url="http://www.gecode.org"
license=('MIT')
# If qt4 is installed, gecode will compile with Gecode Interactive Search
# Tool Support (GIST).
# If you want GIST support or if you want pacman to maintain a dependency,
# cause you have qt4 already installed, then you will have to add qt4 in the
# depends array.
#depends=('mpfr' 'qt4')
depends=('mpfr')
source=(http://www.gecode.org/download/$pkgname-$pkgver.tar.gz)
# MD5 sum can not be found anywhere on the webpage. I generated it myself.
# Use the following shell command to update the md5 sum.
# $ makepkg -g >> PKGBUILD
md5sums=('da3f7e5dd0591005ad02fa2f085cfcac')

build() {
cd "$srcdir/$pkgname-$pkgver"
./configure --prefix=/usr --disable-examples
make
}

package() {
cd "$srcdir/$pkgname-$pkgver"
make DESTDIR="$pkgdir" install
rm -r "$pkgdir/usr/include/examples/"
install -m 644 -D LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
}

# vim:set ts=2 sw=2 et:

BinkyTheClown commented on 2014-04-09 14:49

I am not using Arch nor Gecode at the moment, feel free to adopt this package.

olegus8 commented on 2013-11-11 22:23

Here's the patch for the latest upstream version:

--- PKGBUILD 2013-07-22 10:28:00.000000000 -0500
+++ PKGBUILD_new 2013-11-11 16:20:53.186152899 -0600
@@ -1,6 +1,6 @@
# Contributor: Gustavo A. Gomez Farhat <gustavo_dot_gomez_dot_farhat at gmail_dot_com>
pkgname=gecode
-pkgver=4.2.0
+pkgver=4.2.1
pkgrel=11
pkgdesc="The Generic Constraint Development Environment"
arch=('i686' 'x86_64')
@@ -9,7 +9,7 @@
makedepends=('pkgconfig' 'diffutils' 'perl')
depends=('qt4')
source=(http://www.gecode.org/download/$pkgname-$pkgver.tar.gz)
-md5sums=('24b5af722088b3053d884663950d0d8a')
+md5sums=('80935d179c0afaca81dec5c6e8dbcb25')

build() {
cd "$srcdir/$pkgname-$pkgver"

BinkyTheClown commented on 2013-05-07 17:05

Thanks for the patch.

quartic commented on 2013-05-07 16:19

Hi, thanks for updating the latest upstream version.
Would it be possible to remove the examples from the package? It does not make much sense to have them installed in /usr/bin.

Here is a patch for the PKGBUILD, including other small cleanups (e.g., no package() function is deprecated).

--- PKGBUILD.old 2013-05-07 17:16:46.000000000 +0200
+++ PKGBUILD 2013-05-07 18:16:27.290257460 +0200
@@ -1,20 +1,27 @@
# Contributor: Gustavo A. Gomez Farhat <gustavo_dot_gomez_dot_farhat at gmail_dot_com>
pkgname=gecode
pkgver=4.0.0
-pkgrel=10
+pkgrel=11
pkgdesc="The Generic Constraint Development Environment"
arch=('i686' 'x86_64')
url="http://www.gecode.org"
license=('MIT')
-makedepends=('pkgconfig' 'diffutils' 'perl' 'qt4')
+makedepends=('pkgconfig' 'diffutils' 'perl')
depends=('qt4')
source=(http://www.gecode.org/download/$pkgname-$pkgver.tar.gz)
md5sums=('6d1594b6d431d73bd386b31392b7cfcb')

build() {
- cd $srcdir/$pkgname-$pkgver
- ./configure --prefix=/usr
- make || return 1
- make DESTDIR=$pkgdir install
- install -m 644 -D LICENSE $pkgdir/usr/share/licenses/gecode/LICENSE
+ cd "$srcdir/$pkgname-$pkgver"
+ ./configure --prefix=/usr --disable-examples
+ make
}
+
+package() {
+ cd "$srcdir/$pkgname-$pkgver"
+ make DESTDIR="$pkgdir" install
+ rm -r "$pkgdir/usr/include/examples/"
+ install -m 644 -D LICENSE "$pkgdir/usr/share/licenses/gecode/LICENSE"
+}
+
+# vim:set ts=2 sw=2 et:

BinkyTheClown commented on 2013-05-07 15:47

Updated.

BinkyTheClown commented on 2013-03-04 21:53

Updated.

techno-geek commented on 2013-03-04 20:55

Need to update dependencies to use qt4

BinkyTheClown commented on 2011-07-11 14:53

Thanks, but don't know how to fix this conflict, any idea?