From 826294c8b4e47ff6ec3b745174f1289086969f8c Mon Sep 17 00:00:00 2001
From: nilfit <nils.fitinghoff@gmail.com>
Date: Wed, 8 Aug 2018 16:55:25 +0200
Subject: [PATCH] add autoconf and automake build steps to opam packages

This allows opam to build directly from git
---
 why3-coq.opam/opam | 2 ++
 why3-ide.opam/opam | 2 ++
 why3.opam/opam     | 2 ++
 3 files changed, 6 insertions(+)

diff --git a/why3-coq.opam/opam b/why3-coq.opam/opam
index 361aac6a2..bcfe0985f 100644
--- a/why3-coq.opam/opam
+++ b/why3-coq.opam/opam
@@ -24,6 +24,8 @@ tags: [
 available: [ ocaml-version >= "4.02.3" ]
 
 build: [
+	["autoconf"]
+	["sh" "-c" "automake --add-missing || true"]
   ["./configure"
    "--prefix" prefix
    "--disable-why3-lib"
diff --git a/why3-ide.opam/opam b/why3-ide.opam/opam
index d91399d2e..f6eac98d4 100644
--- a/why3-ide.opam/opam
+++ b/why3-ide.opam/opam
@@ -24,6 +24,8 @@ tags: [
 available: [ ocaml-version >= "4.02.3" ]
 
 build: [
+	["autoconf"]
+	["sh" "-c" "automake --add-missing || true"]
   ["./configure"
    "--prefix" prefix
    "--disable-why3-lib"
diff --git a/why3.opam/opam b/why3.opam/opam
index 1da6b3578..2ed933c2b 100644
--- a/why3.opam/opam
+++ b/why3.opam/opam
@@ -24,6 +24,8 @@ tags: [
 available: [ ocaml-version >= "4.02.3" ]
 
 build: [
+	["autoconf"]
+	["sh" "-c" "automake --add-missing || true"]
   ["./configure"
    "--prefix" prefix
    "--disable-frama-c"
-- 
GitLab