From 8f1275f1137a840481b663b103d0b6f080aee7b0 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Wed, 31 Aug 2022 17:41:26 +0300 Subject: [PATCH] Remove the swipl-devel git submodule --- .gitmodules | 3 --- README.org | 2 +- swipl | 1 - 3 files changed, 1 insertion(+), 5 deletions(-) delete mode 160000 swipl diff --git a/.gitmodules b/.gitmodules index dafcc46..e69de29 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "swipl"] - path = swipl - url = https://github.com/SWI-Prolog/swipl-devel.git diff --git a/README.org b/README.org index e9e691c..e4f9a2f 100644 --- a/README.org +++ b/README.org @@ -59,7 +59,7 @@ The different parts of =sweep= are structured as follows: 1. Clone the =sweep= repository: #+begin_src sh - git clone --recursive https://git.sr.ht/~eshel/sweep + git clone https://git.sr.ht/~eshel/sweep #+end_src 2. Optionally, build the C module =sweep-module=: diff --git a/swipl b/swipl deleted file mode 160000 index 5c7d1f8..0000000 --- a/swipl +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 5c7d1f8352b27d45cb8066eac5af95cf925a05b7 -- 2.39.2