← Back to branch summary

~ubuntu-branches/debian/stretch/gecode/stretch

« back to all changes in this revision

Viewing changes to tools/flatzinc/mzn-gecode.in

  • Committer: Package Import Robot
  • Author(s): Kari Pahula
  • Date: 2013-05-25 15:57:32 UTC
  • mfrom: (1.1.17)
  • Revision ID: package-import@ubuntu.com-20130525155732-bltd8lu9my9borhk
Tags: 4.0.0-2
Give make check LD_LIBRARY_PATH=. to make test work without gecode
already installed, to fix FTBFS.

Show diffs side-by-side

added added

removed removed

Lines of Context:
tools/flatzinc/mzn-gecode.in
7
7
#     Guido Tack, 2012
8
8
#
9
9
#  Last modified:
10
 
#     $Date: 2012-03-21 20:28:46 +1100 (Wed, 21 Mar 2012) $ by $Author: schulte $
11
 
#     $Revision: 12608 $
 
10
#     $Date: 2013-03-08 04:24:10 +0100 (Fri, 08 Mar 2013) $ by $Author: tack $
 
11
#     $Revision: 13479 $
12
12
#
13
13
#  This file is part of Gecode, the generic constraint
14
14
#  development environment:
38
38
 
39
39
prefix=@prefix@
40
40
datarootdir=@datarootdir@
41
 
FLATZINC_CMD=fz minizinc -I @datadir@/gecode/mznlib $*
 
41
FLATZINC_CMD=fzn-gecode minizinc -I @datadir@/gecode/mznlib "$@"