[MacPorts] #54067: upc @5.2.0.1: error: unknown type name 'isl_constraint'

[MacPorts]

#54067: upc @5.2.0.1: error: unknown type name 'isl_constraint'
----------------------+----------------------
  Reporter:  caverac  |      Owner:  tenomoto
      Type:  defect   |     Status:  assigned
  Priority:  Normal   |  Milestone:
 Component:  ports    |    Version:
Resolution:           |   Keywords:
      Port:  upc      |
----------------------+----------------------

Comment (by kencu):

 Hey - it worked!
 {{{
 $ port -v installed upc
 The following ports are currently installed:
   upc @5.2.0.1_1 (active) platform='darwin 16' archs='x86_64'
 date='2017-05-02T20:33:32-0700'
 }}}

 In the end, I just did what we said -- changed the isl depends to isl14:

 {{{
     port:isl14 \
 }}}
 added this to the portfile:
 {{{
 patchfiles-append   patch-libisl.diff
 post-extract {
     xinstall -d -m 0755 ${build.dir}/gcc
     ln -s ${prefix}/libexec/isl14/include/isl ${build.dir}/gcc
 }
 }}}

 changed the isl bit to this (but perhaps just could have used --with-
 isl=${prefix}/libexec/isl14):
 {{{
   --with-isl-include=${prefix}/libexec/isl14 \
   --with-isl-lib=${prefix}/libexec/isl14/lib \
 }}}

 and patched the configure script to change the references from -lisl to
 -lisl.13 in the patch-libisl.diff patchfile
 {{{
 --- ./configure.orig    2017-05-02 20:25:05.000000000 -0700
 +++ ./configure 2017-05-02 20:25:38.000000000 -0700
 @@ -6000,7 +6000,7 @@
  $as_echo "$as_me: WARNING: using in-tree ISL, disabling version check"
 >&2;}
    fi

 -  isllibs="${isllibs} -lisl"
 +  isllibs="${isllibs} -lisl.13"



 @@ -6011,7 +6011,7 @@

      CFLAGS="${_isl_saved_CFLAGS} ${islinc} ${gmpinc}"
      LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs}"
 -    LIBS="${_isl_saved_LIBS} -lisl"
 +    LIBS="${_isl_saved_LIBS} -lisl.13"

      { $as_echo "$as_me:${as_lineno-$LINENO}: checking for compatible ISL"
 >&5
  $as_echo_n "checking for compatible ISL... " >&6; }
 }}}

 I'll set up a git pull and see if it gets inhaled for you to do this
 easily -- but if you're impatient you can just do it as described here if
 you follow.

 Success! Best, K

--
Ticket URL: <https://trac.macports.org/ticket/54067#comment:13>
MacPorts <https://www.macports.org/>
Ports system for macOS