[Gsrc-commit] trunk r5439: update isl to 0.19

[Carl Hansen]

------------------------------------------------------------
revno: 5439
revision-id: address@hidden
parent: address@hidden
committer: address@hidden
branch nick: trunk
timestamp: Fri 2018-04-20 23:05:46 -0700
message:
  update isl to 0.19
modified:
  pkg/other/isl/Makefile         makefile-20170503051745-yt8gcec0r4upr02a-3
  pkg/other/isl/sha256sums       sha256sums-20170503051745-yt8gcec0r4upr02a-4

=== modified file 'pkg/other/isl/Makefile'
--- a/pkg/other/isl/Makefile    2017-05-03 05:18:25 +0000
+++ b/pkg/other/isl/Makefile    2018-04-21 06:05:46 +0000
@@ -1,5 +1,4 @@
-
-# Copyright ©  2017 Carl Hansen <address@hidden>
+# Copyright ©2017,2018 Carl Hansen <address@hidden>
 #
 # This file is part of GSRC, the GNU Source Release Collection.
 #
@@ -20,7 +19,7 @@
 
 NAME =    isl
 GARNAME = isl
-GARVERSION = 0.18
+GARVERSION = 0.19
 HOME_URL = http://isl.gforge.inria.fr
 DESCRIPTION = Integer Set Library  
 define BLURB
@@ -51,3 +50,7 @@
 include ../../../gar/gar.lib/auto.mk
 include config.mk
 
+pre-install:
+       mkdir -p $(packageprefix)/share/doc/$(GARNAME)/
+       cp $(WORKSRC)/doc/*pdf  $(packageprefix)/share/doc/$(GARNAME)/
+

=== modified file 'pkg/other/isl/sha256sums'
--- a/pkg/other/isl/sha256sums  2017-05-03 05:18:25 +0000
+++ b/pkg/other/isl/sha256sums  2018-04-21 06:05:46 +0000
@@ -1,1 +1,1 @@
-0f35051cc030b87c673ac1f187de40e386a1482a0cfdf2c552dd6031b307ddc4  
download/isl-0.18.tar.xz
+6d6c1aa00e2a6dfc509fa46d9a9dbe93af0c451e196a670577a148feecf6b8a5  
download/isl-0.19.tar.xz