recipes/libs/isl/recipe

   1 # Build recipe for isl.
   2 #
   3 # Copyright (c) 2016-2020 Matias Fonzo, <selk@dragora.org>.
   4 #
   5 # Licensed under the Apache License, Version 2.0 (the "License");
   6 # you may not use this file except in compliance with the License.
   7 # You may obtain a copy of the License at
   8 #
   9 #    http://www.apache.org/licenses/LICENSE-2.0
  10 #
  11 # Unless required by applicable law or agreed to in writing, software
  12 # distributed under the License is distributed on an "AS IS" BASIS,
  13 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  14 # See the License for the specific language governing permissions and
  15 # limitations under the License.
  16
  17 program=isl
  18 version=0.22.1
  19 release=1
  20
  21 # Define a category for the output of the package name
  22 pkgcategory=libs
  23
  24 tarname=${program}-${version}.tar.bz2
  25
  26 # Remote source(s)
  27 fetch=http://isl.gforge.inria.fr/$tarname
  28
  29 description="
  30 A library of integers.
  31
  32 ISL is a library for manipulating sets and relations of integer points
  33 bounded by linear constraints.  Supported operations on sets include
  34 intersection, union, set difference, emptiness check, convex hull,
  35 (integer) affine hull, integer projection, and computing the
  36 lexicographic minimum using parametric integer programming.
  37
  38 It also includes an ILP solver based on generalized basis reduction.
  39 "
  40
  41 homepage=http://freshmeat.net/projects/isl
  42 license=MIT
  43
  44 # Source documentation
  45 docs="AUTHORS ChangeLog LICENSE README"
  46 docsdir="${docdir}/${program}-${version}"
  47
  48 build()
  49 {
  50     set -e
  51
  52     unpack "${tardir}/$tarname"
  53
  54     cd "$srcdir"
  55
  56     # Update for hosts based on musl
  57     cp -f "${worktree}/archive/common/config.guess" config.guess
  58     cp -f "${worktree}/archive/common/config.sub" config.sub
  59
  60     # Set sane permissions
  61     chmod -R u+w,go-w,a+rX-s .
  62
  63     ./configure CFLAGS="$QICFLAGS" LDFLAGS="$QILDFLAGS" \
  64      $configure_args \
  65      --libdir=/usr/lib${libSuffix} \
  66      --enable-static \
  67      --enable-shared \
  68      --build="$(cc -dumpmachine)"
  69
  70     make -j${jobs} V=1
  71     make -j${jobs} DESTDIR="$destdir" install-strip
  72
  73     # Move misplaced file(s) for GDB
  74     mkdir -p "${destdir}/usr/share/gdb/auto-load/usr/lib${libSuffix}"
  75     mv "${destdir}/usr/lib${libSuffix}"/*-gdb.py \
  76        "${destdir}/usr/share/gdb/auto-load/usr/lib${libSuffix}"
  77
  78     # Copy documentation
  79     mkdir -p "${destdir}${docsdir}"
  80     cp -p $docs "${destdir}${docsdir}"
  81 }
  82