From 619e6660180a05b0889f376f1fdd427c4a8d2d55 Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Mon, 18 Jul 2016 17:15:52 +0200
Subject: [PATCH] Rip out ISL, we can install it via pip
---
.gitmodules | 3 ---
python/CMakeLists.txt | 1 -
python/islpy | 1 -
3 files changed, 5 deletions(-)
delete mode 160000 python/islpy
diff --git a/.gitmodules b/.gitmodules
index 6997ecbd..f69afcfa 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,3 @@
-[submodule "python/islpy"]
- path = python/islpy
- url = https://github.com/inducer/islpy.git
[submodule "python/cgen"]
path = python/cgen
url = https://github.com/inducer/cgen.git
diff --git a/python/CMakeLists.txt b/python/CMakeLists.txt
index 3fd60bb2..37b9ba86 100644
--- a/python/CMakeLists.txt
+++ b/python/CMakeLists.txt
@@ -13,7 +13,6 @@ create_virtualenv_wrapper(ENVPATH ${dune-python_DIR}/python2-env
dune_install_python_package(PATH pymbolic MAJOR_VERSION 2)
# islpy has some serious bug: it cannot be installed with pip
-dune_install_python_package(PATH islpy MAJOR_VERSION 2 NO_PIP)
dune_install_python_package(PATH cgen MAJOR_VERSION 2)
# --no-deps to avoid reinstallation of islpy through pip...argh!
dune_install_python_package(PATH loopy MAJOR_VERSION 2 ADDITIONAL_PIP_PARAMS --no-deps)
diff --git a/python/islpy b/python/islpy
deleted file mode 160000
index 2e902bc3..00000000
--- a/python/islpy
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 2e902bc3832be805a347f1016b583f78dbc9a188
--
GitLab