##
##  gecode.spec -- OpenPKG RPM Package Specification
##  Copyright (c) 2000-2022 OpenPKG Project <http://openpkg.org/>
##
##  Permission to use, copy, modify, and distribute this software for
##  any purpose with or without fee is hereby granted, provided that
##  the above copyright notice and this permission notice appear in all
##  copies.
##
##  THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED
##  WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
##  MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
##  IN NO EVENT SHALL THE AUTHORS AND COPYRIGHT HOLDERS AND THEIR
##  CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
##  SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
##  LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF
##  USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
##  ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
##  OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
##  OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
##  SUCH DAMAGE.
##

#   package information
Name:         gecode
Summary:      Generic Constraint Development Environment
URL:          http://www.gecode.org/
Vendor:       C. Schulte, G. Szokoli, G. Tack, M. Lagerkvist, P. Pekczynski
Packager:     OpenPKG Project
Distribution: OpenPKG Community
Class:        PLUS
Group:        Algorithm
License:      MIT-style
Version:      6.2.0
Release:      20190412

#   list of sources
Source0:      https://github.com/Gecode/gecode/archive/release-%{version}.tar.gz
Patch0:       gecode.patch

#   build information
BuildPreReq:  OpenPKG, openpkg >= 20160101, make, gcc, gcc::with_cxx = yes, perl
PreReq:       OpenPKG, openpkg >= 20160101
BuildPreReq:  gmp, mpfr
PreReq:       gmp, mpfr

%description
    Gecode is an open, free, portable, accessible, and efficient C++
    programming environment for developing constraint-based systems and
    applications.

%track
    prog gecode = {
        version   = %{version}
        url       = http://www.gecode.org/download.html
        regex     = release-(__VER__)\.tar\.gz
    }

%prep
    %setup -q -n gecode-release-%{version}
    %patch -p0

%build
    %{l_shtool} subst \
        -e 's;-ggdb;;g' \
        -e 's;-Wall;;g' \
        -e 's;-Wextra;;g' \
        configure
    CC="%{l_cc}" \
    CXX="%{l_cxx}" \
    CFLAGS="%{l_cflags -O} -D__USE_ISOC99" \
    CXXFLAGS="%{l_cxxflags -O} -D__USE_ISOC99" \
    CPPFLAGS="%{l_cppflags}" \
    LDFLAGS="%{l_ldflags}" \
    LIBS="-lmpfr -lgmp -lm" \
    ./configure \
        --prefix=%{l_prefix} \
        --with-host-os=Linux \
        --with-compiler-vendor=gnu \
        --with-gmp-include=%{l_prefix}/include \
        --with-gmp-lib=%{l_prefix}/lib \
        --with-mpfr-include=%{l_prefix}/include \
        --with-mpfr-lib=%{l_prefix}/lib \
        --disable-examples \
        --disable-shared \
        --enable-static \
        --disable-doc-dot \
        --disable-doc-tagfile \
        --disable-doc-chm \
        --enable-driver \
        --enable-graph \
        --enable-flatzinc \
        --enable-sheduling \
        --enable-minimodel \
        --enable-search
    %{l_make} %{l_mflags -O}

%install
    %{l_make} %{l_mflags} install DESTDIR=$RPM_BUILD_ROOT
    ( echo "#!/bin/sh"
      echo "exec \"%{l_prefix}/bin/fzn-gecode\" \"\${1+\$@}\""
    ) >flatzinc
    %{l_shtool} install -c -m 755 \
        flatzinc $RPM_BUILD_ROOT%{l_prefix}/bin/
    %{l_rpmtool} files -v -ofiles -r$RPM_BUILD_ROOT %{l_files_std}

%files -f files

%clean