Skip to content
Permalink
Browse files

isl-devel: update to 0.21, add openmaintainer

  • Loading branch information
cjones051073 committed Apr 4, 2019
1 parent a354549 commit 9c83d1aba3a3d98723032794fb2166ca36152e85
Showing with 9 additions and 98 deletions.
  1. +9 −14 devel/isl-devel/Portfile
  2. +0 −84 devel/isl-devel/files/fix-deprecated-headers.patch
@@ -6,13 +6,13 @@ PortGroup muniversal 1.0
name isl-devel
conflicts isl

set gitSHA1 9f767f1766a016f04184fccb41c00a4f355df00d
version 0.15-20150513-[string range $gitSHA1 0 6]
set gitSHA1 f8b5d3df1e4dd2c4a300d25954d344b757347f2c
version 0.21-20190404-[string range $gitSHA1 0 6]

categories devel math
platforms darwin
license MIT
maintainers {larryv @larryv}
maintainers {larryv @larryv} openmaintainer

description Integer Set Library
long_description isl is a library for manipulating sets and \
@@ -31,25 +31,20 @@ homepage http://isl.gforge.inria.fr

depends_lib port:gmp

master_sites http://repo.or.cz/w/isl.git/snapshot
checksums rmd160 bf42466b3e9d1712665df1cf0771973373222cce \
sha256 29a78085a269bf40bf229380d485ab903017669356491ff44016bd1c912055a3
master_sites http://repo.or.cz/isl.git/snapshot

checksums rmd160 e6fc61adff24de3ed764db3169467736d9c7d94f \
sha256 4b47ef4320fb58079dafb4d4afaec65a3f0aa8306822560495e35f33e48030c1 \
size 1162344

distname $gitSHA1
worksrcdir isl-[string range $gitSHA1 0 6]

# Add a missing include to the isl_int headers. Upstream doesn't want to
# bother fixing deprecated APIs
# (https://groups.google.com/d/msg/isl-development/N6UWJDbKXNA/2CY6WHDvOYoJ),
# so this should be applied until they remove the headers outright.
patchfiles fix-deprecated-headers.patch

use_autoreconf yes

configure.args --disable-silent-rules

test.run yes
test.target check

livecheck.type moddate
livecheck.url http://repo.or.cz/w/isl.git/commit/HEAD
livecheck.type none

This file was deleted.

0 comments on commit 9c83d1a

Please sign in to comment.
You can’t perform that action at this time.