From f10d9fefdaf694253495c1ecf2e57ce5099b9375 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 13 Dec 2017 15:13:17 +0100
Subject: Put bignums, math-classes and corn dependencies in Makefile

---
 dev/ci/ci-math-classes.sh | 14 --------------
 1 file changed, 14 deletions(-)

(limited to 'dev/ci/ci-math-classes.sh')

diff --git a/dev/ci/ci-math-classes.sh b/dev/ci/ci-math-classes.sh
index 2837dee963..db4a31e549 100755
--- a/dev/ci/ci-math-classes.sh
+++ b/dev/ci/ci-math-classes.sh
@@ -5,20 +5,6 @@ source ${ci_dir}/ci-common.sh
 
 math_classes_CI_DIR=${CI_BUILD_DIR}/math-classes
 
-Corn_CI_DIR=${CI_BUILD_DIR}/corn
-
-# Setup Bignums
-
-source ${ci_dir}/ci-bignums.sh
-
-# Setup Math-Classes
-
 git_checkout ${math_classes_CI_BRANCH} ${math_classes_CI_GITURL} ${math_classes_CI_DIR}
 
 ( cd ${math_classes_CI_DIR} && make && make install )
-
-# Setup Corn
-
-git_checkout ${Corn_CI_BRANCH} ${Corn_CI_GITURL} ${Corn_CI_DIR}
-
-( cd ${Corn_CI_DIR} && make )
-- 
cgit v1.2.3