[126021] trunk/dports/math
ryandesign at macports.org
ryandesign at macports.org
Wed Oct 1 22:59:21 PDT 2014
Revision: 126021
https://trac.macports.org/changeset/126021
Author: ryandesign at macports.org
Date: 2014-10-01 22:59:21 -0700 (Wed, 01 Oct 2014)
Log Message:
-----------
gr1c: new port, version 0.6.2 (#41653)
Added Paths:
-----------
trunk/dports/math/gr1c/
trunk/dports/math/gr1c/Portfile
trunk/dports/math/gr1c/files/
trunk/dports/math/gr1c/files/patch-Makefile.diff
trunk/dports/math/gr1c/files/patch-tests-Makefile.diff
Added: trunk/dports/math/gr1c/Portfile
===================================================================
--- trunk/dports/math/gr1c/Portfile (rev 0)
+++ trunk/dports/math/gr1c/Portfile 2014-10-02 05:59:21 UTC (rev 126021)
@@ -0,0 +1,55 @@
+# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
+# $Id$
+
+PortSystem 1.0
+
+name gr1c
+version 0.6.2
+categories math devel
+platforms darwin
+maintainers caltech.edu:SCL openmaintainer
+license BSD
+
+description Tools for GR(1) synthesis and related activities
+
+long_description A collection of tools for GR(1) synthesis and related \
+ activities. Its core functionality is checking \
+ realizability of and synthesizing strategies for GR(1) \
+ specifications, though it does much more.
+
+homepage http://scottman.net/2012/gr1c
+master_sites http://vehicles.caltech.edu/snapshots/gr1c/ \
+ http://vehicles.caltech.edu/snapshots/gr1c/old/
+
+checksums rmd160 cecca701d1cf89c707a013221207c9820b1ec5c8 \
+ sha256 414c166c8f840a1b79267ccf5ccc6da1862eae11cb3c1d81ea42bbcf555bb432
+
+patchfiles patch-Makefile.diff \
+ patch-tests-Makefile.diff
+
+depends_build port:bison \
+ port:flex
+
+depends_lib port:libcudd
+
+use_configure no
+
+variant universal {}
+
+# Build succeeds but test fails
+use_parallel_build no
+
+build.args CC="${configure.cc} [get_canonical_archflags cc]" \
+ LD="${configure.cc} [get_canonical_archflags ld] -r" \
+ PREFIX="${prefix}"
+
+test.run yes
+test.target check
+eval test.args ${build.args}
+
+destroot.target install expinstall
+eval destroot.args ${build.args}
+
+livecheck.type regex
+livecheck.url [lindex ${master_sites} 0]
+livecheck.regex ${name}-(\[0-9.\]+)${extract.suffix}
Property changes on: trunk/dports/math/gr1c/Portfile
___________________________________________________________________
Added: svn:keywords
+ Id
Added: svn:eol-style
+ native
Added: trunk/dports/math/gr1c/files/patch-Makefile.diff
===================================================================
--- trunk/dports/math/gr1c/files/patch-Makefile.diff (rev 0)
+++ trunk/dports/math/gr1c/files/patch-Makefile.diff 2014-10-02 05:59:21 UTC (rev 126021)
@@ -0,0 +1,41 @@
+--- Makefile.orig 2013-12-02 10:21:56.000000000 -0600
++++ Makefile 2014-10-02 00:55:55.000000000 -0500
+@@ -5,12 +5,12 @@
+ CORE_PROGRAMS = gr1c rg
+ EXP_PROGRAMS = grjit grpatch
+
+-
+-INSTALLDIR = /usr/local/bin
++PREFIX := /usr/local
++DESTDIR =
++CUDD_PREFIX = $(PREFIX)
++INSTALLDIR = $(DESTDIR)$(PREFIX)/bin
+ SRCDIR = src
+ EXPDIR = exp
+-export CUDD_ROOT = extern/cudd-2.5.0
+-CUDD_LIB = $(CUDD_ROOT)/cudd/libcudd.a $(CUDD_ROOT)/mtr/libmtr.a $(CUDD_ROOT)/st/libst.a $(CUDD_ROOT)/util/libutil.a $(CUDD_ROOT)/epd/libepd.a
+
+ LEX = flex
+ LFLAGS =
+@@ -20,9 +20,9 @@
+ CC = gcc
+ LD = ld -r
+
+-export CFLAGS_BASE = -g -Wall -pedantic -ansi -DHAVE_IEEE_754 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
+-CFLAGS = $(CFLAGS_BASE) -I$(CUDD_ROOT)/include -Isrc
+-LDFLAGS = $(CUDD_LIB) -lm
++export CFLAGS_BASE = -g -Wall -pedantic -ansi -DHAVE_IEEE_754
++CFLAGS = $(CFLAGS_BASE) -Isrc -I$(CUDD_PREFIX)/include/cudd
++LDFLAGS = -L$(CUDD_PREFIX)/lib/cudd -lcudd -lm
+
+ # To use and statically link with GNU Readline
+ #CFLAGS += -DUSE_READLINE
+@@ -109,7 +109,7 @@
+ rm -f $(INSTALLDIR)/gr1c $(INSTALLDIR)/rg $(INSTALLDIR)/grpatch
+
+ check: $(CORE_PROGRAMS) $(EXP_PROGRAMS)
+- $(MAKE) -C tests
++ $(MAKE) -C tests CUDD_PREFIX="$(CUDD_PREFIX)"
+
+ .PHONY: doc
+ doc:
Added: trunk/dports/math/gr1c/files/patch-tests-Makefile.diff
===================================================================
--- trunk/dports/math/gr1c/files/patch-tests-Makefile.diff (rev 0)
+++ trunk/dports/math/gr1c/files/patch-tests-Makefile.diff 2014-10-02 05:59:21 UTC (rev 126021)
@@ -0,0 +1,49 @@
+--- tests/Makefile.orig 2013-12-02 10:21:56.000000000 -0600
++++ tests/Makefile 2014-10-02 00:22:39.000000000 -0500
+@@ -3,10 +3,9 @@
+ # SCL; 2012, 2013.
+
+
+-CUDD_LIB = ../$(CUDD_ROOT)/cudd/libcudd.a ../$(CUDD_ROOT)/mtr/libmtr.a ../$(CUDD_ROOT)/st/libst.a ../$(CUDD_ROOT)/util/libutil.a ../$(CUDD_ROOT)/epd/libepd.a
+-
+-CFLAGS = $(CFLAGS_BASE) -I../src -I../$(CUDD_ROOT)/include
+-LDFLAGS = $(CUDD_LIB) -lm
++CC := gcc
++CFLAGS = $(CFLAGS_BASE) -I../src -I$(CUDD_PREFIX)/include/cudd
++LDFLAGS = -L$(CUDD_PREFIX)/lib/cudd -lcudd -lm
+ PROGRAMS = test_logging test_automaton test_automaton_io test_ptree test_ptree_to_BDD test_solve_support test_patching
+
+ all: $(PROGRAMS)
+@@ -25,25 +24,25 @@
+ COMMON_BINS = ../util.o ../automaton.o ../automaton_io.o ../ptree.o ../solve_support.o ../logging.o
+
+ test_logging: test_logging.c
+- gcc $(CFLAGS) $^ ../logging.o -o $@ $(LDFLAGS)
++ $(CC) $(CFLAGS) $^ ../logging.o -o $@ $(LDFLAGS)
+
+ test_ptree: test_ptree.c
+- gcc $(CFLAGS) $^ ../ptree.o -o $@ $(LDFLAGS)
++ $(CC) $(CFLAGS) $^ ../ptree.o -o $@ $(LDFLAGS)
+
+ test_ptree_to_BDD: test_ptree_to_BDD.c
+- gcc $(CFLAGS) $^ ../ptree.o -o $@ $(LDFLAGS)
++ $(CC) $(CFLAGS) $^ ../ptree.o -o $@ $(LDFLAGS)
+
+ test_automaton: test_automaton.c
+- gcc $(CFLAGS) $^ $(COMMON_BINS) -o $@ $(LDFLAGS)
++ $(CC) $(CFLAGS) $^ $(COMMON_BINS) -o $@ $(LDFLAGS)
+
+ test_automaton_io: test_automaton_io.c
+- gcc $(CFLAGS) $^ $(COMMON_BINS) -o $@ $(LDFLAGS)
++ $(CC) $(CFLAGS) $^ $(COMMON_BINS) -o $@ $(LDFLAGS)
+
+ test_solve_support: test_solve_support.c
+- gcc $(CFLAGS) $^ $(COMMON_BINS) -o $@ $(LDFLAGS)
++ $(CC) $(CFLAGS) $^ $(COMMON_BINS) -o $@ $(LDFLAGS)
+
+ test_patching: test_patching.c
+- gcc $(CFLAGS) $^ $(COMMON_BINS) ../patching.o ../patching_support.o -o $@ $(LDFLAGS)
++ $(CC) $(CFLAGS) $^ $(COMMON_BINS) ../patching.o ../patching_support.o -o $@ $(LDFLAGS)
+
+ clean:
+ rm -fv *~ *.o $(PROGRAMS) temp_*_dump*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20141001/9d562478/attachment.html>
More information about the macports-changes
mailing list