From ee4303d247e54a525da0ba8d39b16ef9ff1ed217 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ond=C5=99ej=20=C4=8Cert=C3=ADk?= <ondrej.certik@gmail.com>
Date: Wed, 25 Mar 2015 16:20:06 -0600
Subject: [PATCH 1/3] Add the Libint package

---
 pkgs/libint.yaml | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 pkgs/libint.yaml

diff --git a/pkgs/libint.yaml b/pkgs/libint.yaml
new file mode 100644
index 000000000..815c56415
--- /dev/null
+++ b/pkgs/libint.yaml
@@ -0,0 +1,5 @@
+extends: [autotools_package]
+
+sources:
+- key: git:5d9c42dccebed2e9207616794a933764ec4151ae
+  url: https://github.com/qsnake/libint.git

From b9ab0242a09f1e15871d2a80fff808b032586d59 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ond=C5=99ej=20=C4=8Cert=C3=ADk?= <ondrej.certik@gmail.com>
Date: Wed, 25 Mar 2015 17:03:53 -0600
Subject: [PATCH 2/3] Update Libint to the latest version

---
 pkgs/libint.yaml | 24 ++++++++++++++++++++++--
 1 file changed, 22 insertions(+), 2 deletions(-)

diff --git a/pkgs/libint.yaml b/pkgs/libint.yaml
index 815c56415..d4a9e1811 100644
--- a/pkgs/libint.yaml
+++ b/pkgs/libint.yaml
@@ -1,5 +1,25 @@
 extends: [autotools_package]
 
+dependencies:
+  build: [autoconf, automake, gmp, boost]
+
 sources:
-- key: git:5d9c42dccebed2e9207616794a933764ec4151ae
-  url: https://github.com/qsnake/libint.git
+# When https://github.com/evaleev/libint/pull/30 is merged, we can switch to
+# use the original repository, until then we use a clone with the necessary
+# patches:
+#- key: git:c1be4f680ada1797e71741fa882b68e926fc05a9
+#  url: https://github.com/evaleev/libint
+- key: git:c0a83fa7e2554ea71a14dbae47bce0a3559e1a54
+  url: https://github.com/certik/libint-1
+
+defaults:
+  # include/libint2/basis.h contains hard-coded path
+  relocatable: false
+
+build_stages:
+- name: create_configure
+  after: prologue
+  before: configure
+  handler: bash
+  bash: |
+    ./autogen.sh

From b12913630a9729fed0d5776f0fc4c437f13ee9fa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ond=C5=99ej=20=C4=8Cert=C3=ADk?= <ondrej.certik@gmail.com>
Date: Wed, 1 Apr 2015 17:09:17 -0600
Subject: [PATCH 3/3] Update Libint, remove local patches

Now when https://github.com/evaleev/libint/pull/30 is merged, we can remove our
local patches and just use the upstream repository.
---
 pkgs/libint.yaml | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/pkgs/libint.yaml b/pkgs/libint.yaml
index d4a9e1811..e0158e7b0 100644
--- a/pkgs/libint.yaml
+++ b/pkgs/libint.yaml
@@ -4,13 +4,8 @@ dependencies:
   build: [autoconf, automake, gmp, boost]
 
 sources:
-# When https://github.com/evaleev/libint/pull/30 is merged, we can switch to
-# use the original repository, until then we use a clone with the necessary
-# patches:
-#- key: git:c1be4f680ada1797e71741fa882b68e926fc05a9
-#  url: https://github.com/evaleev/libint
-- key: git:c0a83fa7e2554ea71a14dbae47bce0a3559e1a54
-  url: https://github.com/certik/libint-1
+- key: git:807677f7b7f0de46d9cc515ca0c75b0c4db3d2be
+  url: https://github.com/evaleev/libint
 
 defaults:
   # include/libint2/basis.h contains hard-coded path