diff --git a/.gitmodules b/.gitmodules
index 6997ecbd1a9ed12881ff04a0622e98b68494f986..f69afcfac78d763719290c721d792e0240d409fb 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 3fd60bb28c823644c790efba20fad51847f29dc6..37b9ba86cfef9819a7a95659f1b43d3f43cdc85a 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 2e902bc3832be805a347f1016b583f78dbc9a188..0000000000000000000000000000000000000000
--- a/python/islpy
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 2e902bc3832be805a347f1016b583f78dbc9a188