Skip to content

Instantly share code, notes, and snippets.

@serras
Created September 20, 2012 12:47
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save serras/3755664 to your computer and use it in GitHub Desktop.
Save serras/3755664 to your computer and use it in GitHub Desktop.
Homebrew formula for Purrs
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