From 138a4da7f0133d7b4ea06cfbc938d23ddb88c97d Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 4 Feb 2017 23:55:24 +0100
Subject: [travis] [External CI] Script renaming.

---
 tools/ci/ci-compcert.sh       | 17 +++++++++++++++++
 tools/ci/ci-hott.sh           | 13 +++++++++++++
 tools/ci/ci-math-comp.sh      | 15 +++++++++++++++
 tools/ci/contrib-compcert.sh  | 17 -----------------
 tools/ci/contrib-hott.sh      | 13 -------------
 tools/ci/contrib-math-comp.sh | 15 ---------------
 6 files changed, 45 insertions(+), 45 deletions(-)
 create mode 100755 tools/ci/ci-compcert.sh
 create mode 100755 tools/ci/ci-hott.sh
 create mode 100755 tools/ci/ci-math-comp.sh
 delete mode 100755 tools/ci/contrib-compcert.sh
 delete mode 100755 tools/ci/contrib-hott.sh
 delete mode 100755 tools/ci/contrib-math-comp.sh

(limited to 'tools')

diff --git a/tools/ci/ci-compcert.sh b/tools/ci/ci-compcert.sh
new file mode 100755
index 0000000000..416e283254
--- /dev/null
+++ b/tools/ci/ci-compcert.sh
@@ -0,0 +1,17 @@
+#!/bin/bash
+
+# Proof of concept contrib build script.
+
+set -xe
+
+export PATH=`pwd`/bin:$PATH
+ls `pwd`/bin
+
+opam install -j ${NJOBS} -y menhir
+git clone --depth 3 -b coq-8.6 https://github.com/maximedenes/CompCert.git
+
+pushd CompCert
+# Patch to avoid the upper version limit
+sed -i.bak 's/8.6)/8.6|trunk)/' configure
+./configure x86_32-linux && make -j ${NJOBS}
+popd
diff --git a/tools/ci/ci-hott.sh b/tools/ci/ci-hott.sh
new file mode 100755
index 0000000000..35af76ceb7
--- /dev/null
+++ b/tools/ci/ci-hott.sh
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+# Proof of concept contrib build script.
+
+set -xe
+
+export PATH=`pwd`/bin:$PATH
+
+git clone --depth 3 -b mz-8.6 https://github.com/ejgallego/HoTT.git
+
+pushd HoTT
+./autogen.sh && ./configure && make -j ${NJOBS}
+popd
diff --git a/tools/ci/ci-math-comp.sh b/tools/ci/ci-math-comp.sh
new file mode 100755
index 0000000000..39a92a2d89
--- /dev/null
+++ b/tools/ci/ci-math-comp.sh
@@ -0,0 +1,15 @@
+#!/bin/bash
+
+# Proof of concept contrib build script.
+
+set -xe
+
+export PATH=`pwd`/bin:$PATH
+
+git clone --depth 3 https://github.com/math-comp/math-comp.git
+
+# odd_order takes too much time for travis.
+( cd math-comp/mathcomp                              && \
+     sed -i.bak '/PFsection/d'                  Make && \
+     sed -i.bak '/stripped_odd_order_theorem/d' Make && \
+     make Makefile.coq && make -f Makefile.coq -j ${NJOBS} all )
diff --git a/tools/ci/contrib-compcert.sh b/tools/ci/contrib-compcert.sh
deleted file mode 100755
index 416e283254..0000000000
--- a/tools/ci/contrib-compcert.sh
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/bin/bash
-
-# Proof of concept contrib build script.
-
-set -xe
-
-export PATH=`pwd`/bin:$PATH
-ls `pwd`/bin
-
-opam install -j ${NJOBS} -y menhir
-git clone --depth 3 -b coq-8.6 https://github.com/maximedenes/CompCert.git
-
-pushd CompCert
-# Patch to avoid the upper version limit
-sed -i.bak 's/8.6)/8.6|trunk)/' configure
-./configure x86_32-linux && make -j ${NJOBS}
-popd
diff --git a/tools/ci/contrib-hott.sh b/tools/ci/contrib-hott.sh
deleted file mode 100755
index 35af76ceb7..0000000000
--- a/tools/ci/contrib-hott.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/bash
-
-# Proof of concept contrib build script.
-
-set -xe
-
-export PATH=`pwd`/bin:$PATH
-
-git clone --depth 3 -b mz-8.6 https://github.com/ejgallego/HoTT.git
-
-pushd HoTT
-./autogen.sh && ./configure && make -j ${NJOBS}
-popd
diff --git a/tools/ci/contrib-math-comp.sh b/tools/ci/contrib-math-comp.sh
deleted file mode 100755
index 39a92a2d89..0000000000
--- a/tools/ci/contrib-math-comp.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/bash
-
-# Proof of concept contrib build script.
-
-set -xe
-
-export PATH=`pwd`/bin:$PATH
-
-git clone --depth 3 https://github.com/math-comp/math-comp.git
-
-# odd_order takes too much time for travis.
-( cd math-comp/mathcomp                              && \
-     sed -i.bak '/PFsection/d'                  Make && \
-     sed -i.bak '/stripped_odd_order_theorem/d' Make && \
-     make Makefile.coq && make -f Makefile.coq -j ${NJOBS} all )
-- 
cgit v1.2.3