From 9e220bafb8fdd9a911ba8b5e0efb2fe87bc0f267 Mon Sep 17 00:00:00 2001
From: Gabriel <gabriel@motacilla.home>
Date: Sat, 9 Oct 2021 20:57:34 +0200
Subject: [PATCH] chmod +x
---
ci/bootstrap.sh | 0
ci/fetch.sh | 28 ----------------------------
2 files changed, 28 deletions(-)
mode change 100644 => 100755 ci/bootstrap.sh
delete mode 100644 ci/fetch.sh
diff --git a/ci/bootstrap.sh b/ci/bootstrap.sh
old mode 100644
new mode 100755
diff --git a/ci/fetch.sh b/ci/fetch.sh
deleted file mode 100644
index 1e61cc3..0000000
--- a/ci/fetch.sh
+++ /dev/null
@@ -1,28 +0,0 @@
-#!/bin/sh
-set -eu
-
-opam init --bare --no-setup -q
-
-gclone () {
- git clone "$1"
- (cd "$2" || exit 1
- git checkout "$3")
-}
-
-gclone https://github.com/gabrielhdt/lambdapi.git lambdapi aae26f2d
-gclone https://github.com/SRI-CSL/PVS.git PVS pvs7.1
-
-(cd lambdapi || exit 1
-opam switch create . --locked --deps-only --yes
-eval "$(opam env)"
-make install)
-
-(cd personoj || exit 1
-bmake -C encoding install)
-(cd PVS || exit 1
-for p in $(find translations/prelude_patches/ -name '*.diff' | sort); do
- patch lib/prelude.pvs "${p}"
-done
-./build.sh)
-
-
--
GitLab