Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
1.5 kB · 41 lines
at develop
123456789101112131415161718192021222324252627282930313233343536373839404142#!/bin/sh## Main authors:# Guido Tack <tack@gecode.org>## Copyright:# Guido Tack, 2012## This file is part of Gecode, the generic constraint# development environment:# http://www.gecode.org## Permission is hereby granted, free of charge, to any person obtaining# a copy of this software and associated documentation files (the# "Software"), to deal in the Software without restriction, including# without limitation the rights to use, copy, modify, merge, publish,# distribute, sublicense, and/or sell copies of the Software, and to# permit persons to whom the Software is furnished to do so, subject to# the following conditions:## The above copyright notice and this permission notice shall be# included in all copies or substantial portions of the Software.## THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,# EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF# MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND# NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE# LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION# OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION# WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.##prefix=@prefix@datarootdir=@datarootdir@if command -v minizinc >/dev/null 2>&1; then MZN_CMD=minizincelse MZN_CMD=mzn-fznfiFLATZINC_CMD=fzn-gecode $MZN_CMD -I @datadir@/gecode/mznlib "$@"