[MacPorts] #45928: cvc4 @1.4 Adding Java variant - updated Portfile
#45928: cvc4 @1.4 Adding Java variant - updated Portfile ----------------------------+-------------------------------- Reporter: corwin.amber@… | Owner: macports-tickets@… Type: enhancement | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.2 Keywords: java | Port: cvc4 ----------------------------+-------------------------------- Since CVC4 offers a Java library, which is not build by default but requires ./configure --enable-language-bindings=java, I added a variant (+java) so the user can request the jarfile and JNI code to be built. This requires an installation of a JDK in /System/Library/Frameworks. -- Ticket URL: <https://trac.macports.org/ticket/45928> MacPorts <https://www.macports.org/> Ports system for OS X
#45928: cvc4 @1.4 Adding Java variant - updated Portfile -----------------------------+-------------------------------- Reporter: corwin.amber@… | Owner: macports-tickets@… Type: enhancement | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.2 Resolution: | Keywords: java Port: cvc4 | -----------------------------+-------------------------------- Comment (by ryandesign@…): Please attach a unified diff of your changes, instead of a complete portfile. -- Ticket URL: <https://trac.macports.org/ticket/45928#comment:1> MacPorts <https://www.macports.org/> Ports system for OS X
#45928: cvc4 @1.4 Adding Java variant - updated Portfile -----------------------------+----------------------- Reporter: corwin.amber@… | Owner: mdeters@… Type: enhancement | Status: new Priority: Normal | Milestone: Component: ports | Version: Resolution: | Keywords: haspatch Port: cvc4 | -----------------------------+----------------------- Changes (by mf2k@…): * keywords: java => haspatch * owner: macports-tickets@… => mdeters@… * version: 2.3.2 => * cc: mdeters@… (removed) -- Ticket URL: <https://trac.macports.org/ticket/45928#comment:2> MacPorts <https://www.macports.org/> Ports system for OS X
#45928: cvc4 @1.4 Adding Java variant - updated Portfile -----------------------------+-------------------------------- Reporter: corwin.amber@… | Owner: macports-tickets@… Type: enhancement | Status: new Priority: Normal | Milestone: Component: ports | Version: Resolution: | Keywords: haspatch Port: cvc4 | -----------------------------+-------------------------------- Changes (by mf2k@…): * owner: mdeters@… => macports-tickets@… Comment: This port no longer has a maintainer. See #46356. -- Ticket URL: <https://trac.macports.org/ticket/45928#comment:3> MacPorts <https://www.macports.org/> Ports system for OS X
#45928: cvc4 @1.4 Adding Java variant - updated Portfile -----------------------------+-------------------------------- Reporter: corwin.amber@… | Owner: macports-tickets@… Type: enhancement | Status: closed Priority: Normal | Milestone: Component: ports | Version: Resolution: fixed | Keywords: haspatch Port: cvc4 | -----------------------------+-------------------------------- Changes (by mf2k@…): * status: new => closed * resolution: => fixed Comment: r133579. Thanks! -- Ticket URL: <https://trac.macports.org/ticket/45928#comment:4> MacPorts <https://www.macports.org/> Ports system for OS X
participants (1)
-
MacPorts