diff options
Diffstat (limited to 'Library/Formula')
| -rw-r--r-- | Library/Formula/ppl.rb | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/Library/Formula/ppl.rb b/Library/Formula/ppl.rb deleted file mode 100644 index d7cf430b2..000000000 --- a/Library/Formula/ppl.rb +++ /dev/null @@ -1,16 +0,0 @@ -require 'formula' - -class Ppl < Formula - homepage 'http://bugseng.com/products/ppl/' - url 'http://bugseng.com/products/ppl/download/ftp/releases/1.0/ppl-1.0.tar.gz' - sha1 '5f543206cc9de17d48ff797e977547b61b40ab2c' - - depends_on 'gmp' - - def install - system "./configure", "--disable-debug", "--disable-dependency-tracking", - "--prefix=#{prefix}", - "--enable-optimization=sspeed" - system "make install" - end -end |
