Package Details: gecode 5.0.0-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: alexander
Last Packager: alexander
Votes: 9
Popularity: 0.560478
First Submitted: 2008-02-13 16:42
Last Updated: 2016-11-12 12:33

Dependencies (0)

Required by (0)

Sources (1)

Latest Comments

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.

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

herve commented on 2011-07-08 17:43

Hi, just a note that /usr/bin/sudoku is in conflict with fltk 1.3.0-1 now.