pbc 0.5.14

modernize, add head, add test

Closes #34697.

1 files changed, 43 insertions, 6 deletions

diff --git a/Library/Formula/pbc.rb b/Library/Formula/pbc.rb
index f7cffbded..7446df164 100644
--- a/Library/Formula/pbc.rb
+++ b/Library/Formula/pbc.rb
@@ -1,15 +1,52 @@
-require 'formula'
+require "formula"
 
 class Pbc < Formula
-  homepage 'http://crypto.stanford.edu/pbc/'
-  url 'http://crypto.stanford.edu/pbc/files/pbc-0.5.13.tar.gz'
-  sha256 '6207b7aea96e61df991c59a27ff9a954922954bc4b3cb9db325a37806b41dc89'
+  homepage "http://crypto.stanford.edu/pbc/"
+  url "http://crypto.stanford.edu/pbc/files/pbc-0.5.14.tar.gz"
+  sha1 "8947f1a5a32d5c2d1f5113ccbb1e0d25ca5ce1c9"
+  head "http://repo.or.cz/r/pbc.git"
 
-  depends_on 'gmp'
+  depends_on "gmp"
 
   def install
     system "./configure", "--disable-dependency-tracking",
                           "--prefix=#{prefix}"
-    system "make install"
+    system "make", "install"
+  end
+
+  test do
+    (testpath/"test.c").write <<-EOS.undent
+      #include <pbc/pbc.h>
+      #include <assert.h>
+
+      int main()
+      {
+        pbc_param_t param;
+        pairing_t pairing;
+        element_t g1, g2, gt1, gt2, gt3, a, g1a;
+        pbc_param_init_a_gen(param, 160, 512);
+        pairing_init_pbc_param(pairing, param);
+        element_init_G1(g1, pairing);
+        element_init_G2(g2, pairing);
+        element_init_G1(g1a, pairing);
+        element_init_GT(gt1, pairing);
+        element_init_GT(gt2, pairing);
+        element_init_GT(gt3, pairing);
+        element_init_Zr(a, pairing);
+        element_random(g1); element_random(g2); element_random(a);
+        element_pairing(gt1, g1, g2); // gt1 = e(g1, g2)
+        element_pow_zn(g1a, g1, a); // g1a = g1^a
+        element_pow_zn(gt2, gt1, a); // gt2 = gt1^a = e(g1, g2)^a
+        element_pairing(gt3, g1a, g2); // gt3 = e(g1a, g2) = e(g1^a, g2)
+        assert(element_cmp(gt2, gt3) == 0); // assert gt2 == gt3
+        pairing_clear(pairing);
+        element_clear(g1); element_clear(g2); element_clear(gt1);
+        element_clear(gt2); element_clear(gt3); element_clear(a);
+        element_clear(g1a);
+        return 0;
+      }
+    EOS
+    system ENV.cc, "test.c", "-lgmp", "-lpbc", "-o", "test"
+    system "./test"
   end
 end