diff --git a/Formula/ppl.rb b/Formula/ppl.rb
new file mode 100644
index 0000000000..f2c2040688
--- /dev/null
+++ b/Formula/ppl.rb
@@ -0,0 +1,31 @@
+class Ppl < Formula
+  desc "Parma Polyhedra Library: numerical abstractions for analysis, verification"
+  homepage "http://bugseng.com/products/ppl"
+  url "http://bugseng.com/products/ppl/download/ftp/releases/1.1/ppl-1.1.tar.xz"
+  sha256 "c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178"
+
+  depends_on "gmp"
+
+  def install
+    system "./configure", "--disable-debug",
+                          "--disable-dependency-tracking",
+                          "--disable-silent-rules",
+                          "--prefix=#{prefix}"
+    system "make", "install"
+  end
+
+  test do
+    (testpath/"test.c").write <<-EOS.undent
+      #include <ppl_c.h>
+      #ifndef PPL_VERSION_MAJOR
+      #error "No PPL header"
+      #endif
+      int main() {
+        ppl_initialize();
+        return ppl_finalize();
+      }
+    EOS
+    system ENV.cc, "test.c", "-L#{lib}", "-lppl_c", "-lppl", "-o", "test"
+    system "./test"
+  end
+end