From b29d4e44665346754a6155557b5db98879e81971 Mon Sep 17 00:00:00 2001
From: Gabriel <gabriel@motacilla.home>
Date: Sun, 10 Oct 2021 17:27:05 +0200
Subject: [PATCH] directory renaming
---
.github/workflows/pvs_prelude.yml | 4 ++--
README.md | 2 +-
{pvs-translation-tools => tools}/.gitignore | 0
{pvs-translation-tools => tools}/README.md | 0
{ci => tools}/bootstrap.sh | 2 +-
{pvs-translation-tools => tools}/lambdapi.mk | 0
{pvs-translation-tools => tools}/lambdapi.pkg | 0
{pvs-translation-tools => tools}/prelude/Makefile | 0
{pvs-translation-tools => tools}/prelude/README.md | 0
{pvs-translation-tools => tools}/prelude/divides.lp.sh | 0
{pvs-translation-tools => tools}/prelude/mk_dummy.sh | 0
.../prelude/number_fields.lp.patch | 0
{pvs-translation-tools => tools}/prelude/theories | 0
.../prelude_patches/01-functions.diff | 0
.../prelude_patches/02-orders.diff | 0
{pvs-translation-tools => tools}/prelude_patches/03-sets.diff | 0
.../prelude_patches/04-sequences.diff | 0
.../prelude_patches/05-function_image.diff | 0
.../prelude_patches/patch-prelude.sh | 0
{pvs-translation-tools => tools}/pvs2dk.sh | 0
{pvs-translation-tools => tools}/simple/Makefile | 0
21 files changed, 4 insertions(+), 4 deletions(-)
rename {pvs-translation-tools => tools}/.gitignore (100%)
rename {pvs-translation-tools => tools}/README.md (100%)
rename {ci => tools}/bootstrap.sh (93%)
rename {pvs-translation-tools => tools}/lambdapi.mk (100%)
rename {pvs-translation-tools => tools}/lambdapi.pkg (100%)
rename {pvs-translation-tools => tools}/prelude/Makefile (100%)
rename {pvs-translation-tools => tools}/prelude/README.md (100%)
rename {pvs-translation-tools => tools}/prelude/divides.lp.sh (100%)
rename {pvs-translation-tools => tools}/prelude/mk_dummy.sh (100%)
rename {pvs-translation-tools => tools}/prelude/number_fields.lp.patch (100%)
rename {pvs-translation-tools => tools}/prelude/theories (100%)
rename {pvs-translation-tools => tools}/prelude_patches/01-functions.diff (100%)
rename {pvs-translation-tools => tools}/prelude_patches/02-orders.diff (100%)
rename {pvs-translation-tools => tools}/prelude_patches/03-sets.diff (100%)
rename {pvs-translation-tools => tools}/prelude_patches/04-sequences.diff (100%)
rename {pvs-translation-tools => tools}/prelude_patches/05-function_image.diff (100%)
rename {pvs-translation-tools => tools}/prelude_patches/patch-prelude.sh (100%)
rename {pvs-translation-tools => tools}/pvs2dk.sh (100%)
rename {pvs-translation-tools => tools}/simple/Makefile (100%)
diff --git a/.github/workflows/pvs_prelude.yml b/.github/workflows/pvs_prelude.yml
index bf04121..381bc9e 100644
--- a/.github/workflows/pvs_prelude.yml
+++ b/.github/workflows/pvs_prelude.yml
@@ -10,7 +10,7 @@ jobs:
- uses: actions/checkout@v2
- name: setup
- run: ci/bootstrap.sh
+ run: tools/bootstrap.sh
shell: sh
- name: install personoj
@@ -23,7 +23,7 @@ jobs:
- name: translate and typecheck
run: |
eval $(opam env --switch=~/lambdapi --set-switch)
- cd pvs-translation-tools/prelude || exit 1
+ cd tools/prelude || exit 1
# Comment out theories that consume too much memory during
# typechecking
sed -i 's/^floor_ceil$/-floor_ceil/' theories
diff --git a/README.md b/README.md
index ef8be0f..c61fad7 100644
--- a/README.md
+++ b/README.md
@@ -36,4 +36,4 @@ the path (absolute or relative to `$HOME`) to the `exporter` directory.
### Usage
-See `pvs-translation-tools/README.md`.
+See `tools/README.md`.
diff --git a/pvs-translation-tools/.gitignore b/tools/.gitignore
similarity index 100%
rename from pvs-translation-tools/.gitignore
rename to tools/.gitignore
diff --git a/pvs-translation-tools/README.md b/tools/README.md
similarity index 100%
rename from pvs-translation-tools/README.md
rename to tools/README.md
diff --git a/ci/bootstrap.sh b/tools/bootstrap.sh
similarity index 93%
rename from ci/bootstrap.sh
rename to tools/bootstrap.sh
index 24997a3..d6eaf11 100755
--- a/ci/bootstrap.sh
+++ b/tools/bootstrap.sh
@@ -39,7 +39,7 @@ gclone https://github.com/SRI-CSL/PVS.git PVS pvs7.1
PVSPATH="${HOME}/PVS"
export PVSPATH
- for p in $(find pvs-translation-tools/prelude_patches -name '*.diff' | sort); do
+ for p in $(find tools/prelude_patches -name '*.diff' | sort); do
patch "${PVSPATH}/lib/prelude.pvs" "$p"
done
diff --git a/pvs-translation-tools/lambdapi.mk b/tools/lambdapi.mk
similarity index 100%
rename from pvs-translation-tools/lambdapi.mk
rename to tools/lambdapi.mk
diff --git a/pvs-translation-tools/lambdapi.pkg b/tools/lambdapi.pkg
similarity index 100%
rename from pvs-translation-tools/lambdapi.pkg
rename to tools/lambdapi.pkg
diff --git a/pvs-translation-tools/prelude/Makefile b/tools/prelude/Makefile
similarity index 100%
rename from pvs-translation-tools/prelude/Makefile
rename to tools/prelude/Makefile
diff --git a/pvs-translation-tools/prelude/README.md b/tools/prelude/README.md
similarity index 100%
rename from pvs-translation-tools/prelude/README.md
rename to tools/prelude/README.md
diff --git a/pvs-translation-tools/prelude/divides.lp.sh b/tools/prelude/divides.lp.sh
similarity index 100%
rename from pvs-translation-tools/prelude/divides.lp.sh
rename to tools/prelude/divides.lp.sh
diff --git a/pvs-translation-tools/prelude/mk_dummy.sh b/tools/prelude/mk_dummy.sh
similarity index 100%
rename from pvs-translation-tools/prelude/mk_dummy.sh
rename to tools/prelude/mk_dummy.sh
diff --git a/pvs-translation-tools/prelude/number_fields.lp.patch b/tools/prelude/number_fields.lp.patch
similarity index 100%
rename from pvs-translation-tools/prelude/number_fields.lp.patch
rename to tools/prelude/number_fields.lp.patch
diff --git a/pvs-translation-tools/prelude/theories b/tools/prelude/theories
similarity index 100%
rename from pvs-translation-tools/prelude/theories
rename to tools/prelude/theories
diff --git a/pvs-translation-tools/prelude_patches/01-functions.diff b/tools/prelude_patches/01-functions.diff
similarity index 100%
rename from pvs-translation-tools/prelude_patches/01-functions.diff
rename to tools/prelude_patches/01-functions.diff
diff --git a/pvs-translation-tools/prelude_patches/02-orders.diff b/tools/prelude_patches/02-orders.diff
similarity index 100%
rename from pvs-translation-tools/prelude_patches/02-orders.diff
rename to tools/prelude_patches/02-orders.diff
diff --git a/pvs-translation-tools/prelude_patches/03-sets.diff b/tools/prelude_patches/03-sets.diff
similarity index 100%
rename from pvs-translation-tools/prelude_patches/03-sets.diff
rename to tools/prelude_patches/03-sets.diff
diff --git a/pvs-translation-tools/prelude_patches/04-sequences.diff b/tools/prelude_patches/04-sequences.diff
similarity index 100%
rename from pvs-translation-tools/prelude_patches/04-sequences.diff
rename to tools/prelude_patches/04-sequences.diff
diff --git a/pvs-translation-tools/prelude_patches/05-function_image.diff b/tools/prelude_patches/05-function_image.diff
similarity index 100%
rename from pvs-translation-tools/prelude_patches/05-function_image.diff
rename to tools/prelude_patches/05-function_image.diff
diff --git a/pvs-translation-tools/prelude_patches/patch-prelude.sh b/tools/prelude_patches/patch-prelude.sh
similarity index 100%
rename from pvs-translation-tools/prelude_patches/patch-prelude.sh
rename to tools/prelude_patches/patch-prelude.sh
diff --git a/pvs-translation-tools/pvs2dk.sh b/tools/pvs2dk.sh
similarity index 100%
rename from pvs-translation-tools/pvs2dk.sh
rename to tools/pvs2dk.sh
diff --git a/pvs-translation-tools/simple/Makefile b/tools/simple/Makefile
similarity index 100%
rename from pvs-translation-tools/simple/Makefile
rename to tools/simple/Makefile
--
GitLab