Created
September 20, 2012 12:47
-
-
Save serras/3755664 to your computer and use it in GitHub Desktop.
Homebrew formula for Purrs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
require 'formula' | |
class Purrs < Formula | |
homepage '' | |
url "cvs://:pserver:anoncvs@cvs.cs.unipr.it:/cvs/purrs:purrs", :using => :cvs | |
version '0.0.3' | |
depends_on :x11 | |
depends_on 'automake' | |
depends_on 'autoconf' | |
depends_on 'libtool' | |
# depends_on 'giac' | |
depends_on 'ginac' | |
depends_on 'ntl' | |
def patches | |
# fixes building | |
DATA | |
end | |
def install | |
# ENV.j1 # if your formula's build system can't parallelize | |
system "make distclean" | |
system "autoreconf" | |
system "aclocal" | |
system "autoheader" | |
system "automake" | |
system "./configure", "--disable-dependency-tracking", | |
"--prefix=#{prefix}", "--program-prefix=purrs-", | |
"--with-libcln-prefix=#{HOMEBREW_PREFIX}", | |
"--with-gmp-prefix=#{HOMEBREW_PREFIX}", | |
"--with-libginac-prefix=#{HOMEBREW_PREFIX}" | |
system "make" | |
system "make clean" | |
system "make" | |
Dir.chdir("src") do | |
system "make" | |
end | |
Dir.chdir("tests") do | |
system "make" | |
system ENV['CXX'], "-g", "-W", "-Wall", "-o", "rrs_driver", "rrs_driver.o", | |
"../src/libpurrs.a", "ehandlers.o", "-lstdc++", "-lntl", | |
"-lcln", "-lgmpxx", "-lgmp", "-lginac", | |
"-lreadline", "-ltermcap" | |
end | |
system "make install" | |
bin.install 'tests/rrs_driver' | |
end | |
def test | |
system "make check" | |
end | |
end | |
__END__ | |
Index: Makefile.am | |
=================================================================== | |
RCS file: /cvs/purrs/purrs/Makefile.am,v | |
retrieving revision 1.5 | |
diff -u -r1.5 Makefile.am | |
--- Makefile.am 1 Jan 2008 12:40:15 -0000 1.5 | |
+++ Makefile.am 20 Sep 2012 12:45:51 -0000 | |
@@ -17,4 +17,4 @@ | |
EXTRA_DIST = configure # purrs.lsm.in purrs.spec.in acinclude.m4 BUGS CREDITS | |
-SUBDIRS = src doc m4 tests demos #interfaces | |
+SUBDIRS = src doc m4 tests #demos #interfaces | |
Index: src/Makefile.am | |
=================================================================== | |
RCS file: /cvs/purrs/purrs/src/Makefile.am,v | |
retrieving revision 1.57 | |
diff -u -r1.57 Makefile.am | |
--- src/Makefile.am 1 Jan 2008 12:40:15 -0000 1.57 | |
+++ src/Makefile.am 20 Sep 2012 12:45:51 -0000 | |
@@ -62,11 +62,9 @@ | |
size_norm_impl.hh \ | |
alg_eq_solver.hh \ | |
poly_factor.hh \ | |
-zeilberger.hh \ | |
gosper.hh \ | |
simplify.hh \ | |
factorize.hh \ | |
-factorize_giac.hh \ | |
compute_prod.hh \ | |
ep_decomp.hh \ | |
fact_decomp.hh \ | |
@@ -106,10 +104,8 @@ | |
alg_eq_solver.cc \ | |
size_norm.cc \ | |
globals.cc \ | |
-zeilberger.cc \ | |
gosper.cc \ | |
factorize.cc \ | |
-factorize_giac.cc \ | |
poly_factor.cc \ | |
finite_order.cc \ | |
functional_equation.cc \ | |
Index: tests/Makefile.am | |
=================================================================== | |
RCS file: /cvs/purrs/purrs/tests/Makefile.am,v | |
retrieving revision 1.31 | |
diff -u -r1.31 Makefile.am | |
--- tests/Makefile.am 1 Jan 2008 12:40:15 -0000 1.31 | |
+++ tests/Makefile.am 20 Sep 2012 12:45:51 -0000 | |
@@ -20,7 +20,7 @@ | |
-I$(top_srcdir)/src \ | |
@extra_includes@ | |
-LDADD = $(top_builddir)/src/libpurrs.a ehandlers.o -lstdc++ -lntl @extra_libraries@ @readline_libraries@ | |
+LDADD = $(top_builddir)/src/libpurrs.a ehandlers.o -lstdc++ -lntl -lcln -lgmpxx -lgmp -lginac @readline_libraries@ | |
CPPFLAGS = @extra_cpp_flags@ | |
@@ -32,7 +32,9 @@ | |
BUGS = | |
-noinst_PROGRAMS = simplify_driver eqs_driver rrs_driver multivar_driver gosper_driver rr_filter zeilberger_driver | |
+bin_PROGRAMS = rrs_driver | |
+ | |
+noinst_PROGRAMS = simplify_driver eqs_driver multivar_driver gosper_driver rr_filter | |
simplify_driver_SOURCES = simplify_driver.cc | |
eqs_driver_SOURCES = eqs_driver.cc | |
@@ -40,7 +42,6 @@ | |
multivar_driver_SOURCES = multivar_driver.cc | |
gosper_driver_SOURCES = gosper_driver.cc | |
rr_filter_SOURCES = rr_filter.cc | |
-zeilberger_driver_SOURCES = zeilberger_driver.cc | |
check_PROGRAMS = $(TESTS) $(BUGS) | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment