Commit 7de7991f authored by François Bobot's avatar François Bobot

Make pinning the git repository work

parent e259438a
#!/bin/sh -eux
if [ ! -f "configure" ]; then
autoconf
automake --add-missing || true
fi
......@@ -24,6 +24,9 @@ tags: [
available: [ ocaml-version >= "4.02.3" ]
build: [
["sh" "-eux" "./run_autoconf_if_needed.sh"] # when used in pinned mode,
# the configure *cannot* yet be
# generated
["./configure"
"--prefix" prefix
"--disable-why3-lib"
......
#!/bin/sh -eux
if [ ! -f "configure" ]; then
autoconf
automake --add-missing || true
fi
......@@ -24,6 +24,9 @@ tags: [
available: [ ocaml-version >= "4.02.3" ]
build: [
["sh" "-eux" "./run_autoconf_if_needed.sh"] # when used in pinned mode,
# the configure *cannot* yet be
# generated
["./configure"
"--prefix" prefix
"--disable-why3-lib"
......
#!/bin/sh -eux
if [ ! -f "configure" ]; then
autoconf
automake --add-missing || true
fi
......@@ -24,6 +24,9 @@ tags: [
available: [ ocaml-version >= "4.02.3" ]
build: [
["sh" "-eux" "./run_autoconf_if_needed.sh"] # when used in pinned mode,
# the configure *cannot* yet be
# generated
["./configure"
"--prefix" prefix
"--disable-frama-c"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment