7d3b924..master · project-m36

.appveyor.yml−1

since splitsnapshots

unifiedsplit

@@ -17,7 +17,6 @@ environment:

17 global:

18 STACK_ROOT: "c:\\sr"

19 matrix:

20− - YAML: "stack.ghc8.2.yaml"

21 - YAML: "stack.ghc8.6.yaml"

20 - YAML: "stack.ghc8.6.yaml"

22

21

23platform:

22platform:

.github/workflows/ci.yamlnew file+69

@@ -0,0 +1,69 @@

1+name: "CI"

2+on:

3+ pull_request:

4+ push:

5+jobs:

6+ dockerimage:

7+ runs-on: ubuntu-latest

8+ steps:

9+ - uses: actions/checkout@v2.3.1

10+ - uses: cachix/install-nix-action@v12

11+ with:

12+ nix_path: nixpkgs=channel:nixos-unstable

13+ - uses: cachix/cachix-action@v8

14+ with:

15+ name: project-m36

16+ signingKey: "${{ secrets.CACHIX_SIGNING_KEY }}"

17+ - run: cachix use iohk

18+ - name: docker load

19+ run: docker load < $(nix-build docker.nix)

20+ - name: docker login

21+ if: ${{ github.ref == 'refs/heads/master' }}

22+ run: echo ${{secrets.DOCKERHUB_PASSWORD}} | docker login --username ${{secrets.DOCKERHUB_USER}} --password-stdin

23+ - name: docker tag with version

24+ run: docker tag project-m36:latest projectm36/project-m36:$(awk '/^Version:/ {print $2}' project-m36.cabal)

25+ if: ${{ github.ref == 'refs/heads/master' }}

26+ - name: docker tag latest

27+ run: docker tag project-m36:latest projectm36/project-m36:latest

28+ if: ${{ github.ref == 'refs/heads/master' }}

29+ - run: docker push projectm36/project-m36

30+ if: ${{ github.ref == 'refs/heads/master' }}

31+

32+ stack-build:

33+ runs-on: ${{ matrix.os }}

34+ strategy:

35+ matrix:

36+ os: [ubuntu-latest]

37+ ghc:

38+ - ghc8.10

39+ - ghc8.8

40+ - ghc8.6

41+ include:

42+ - os: macos-latest

43+ ghc: ghc8.10

44+ env:

45+ STACK_YAML: stack.${{ matrix.ghc }}.yaml

46+ steps:

47+ - uses: actions/checkout@v2

48+ - name: Cache

49+ uses: actions/cache@v1

50+ with:

51+ path: ~/.stack

52+ key: ${{ runner.os }}-build-stack-${{ matrix.ghc }}-${{ hashFiles(env.STACK_YAML) }}-${{ hashFiles('**/*.cabal') }}

53+ restore-keys: |

54+ ${{ runner.os }}-build-stack-${{ matrix.ghc }}-${{ hashFiles(env.STACK_YAML) }}

55+ ${{ runner.os }}-build-stack-${{ matrix.ghc }}

56+ - name: Fix macOS cache bug

57+ run: rm -rf ~/.stack/setup-exe-cache

58+ - name: Build

59+ run: stack build --ghc-options -O2 --local-bin-path out --copy-bins

60+ - name: Test

61+ run: stack test --stack-yaml=${{ env.STACK_YAML }}

62+ - name: HLint

63+ run: curl -sSL https://raw.github.com/ndmitchell/hlint/master/misc/run.sh | sh -s .

64+ - name: Haddock

65+ run: stack --no-install-ghc --system-ghc --no-haddock-deps haddock

66+ - uses: actions/upload-artifact@v2

67+ with:

68+ name: project-m36-${{ matrix.os }}-${{ matrix.ghc }}

69+ path: out/

.gitignore+3−1

@@ -18,4 +18,6 @@ persistence-notes

18jupyter/itutd.egg-info

19jupyter/build

20juyter/dist

21−.ipynb_checkpoints

21+.ipynb_checkpoints

22+project-m36.nix

23+stack.yaml

.travis.ymldeleted−52

@@ -1,52 +0,0 @@

1−# For more information, see https://github.com/ChrisPenner/haskell-stack-travis-ci

2−language: c

3−# sudo: true -- this is deprecated

4−

5−git:

6− submodules: false # whether to recursively clone submodules

7−

8−os: linux

9−dist: bionic

10−

11−jobs:

12− fast_finish: true

13− include:

14− # disable because some of the travis-ci osx images would ask password for sudo

15− # - env: BUILD_NAME=OSX

16− # os: osx

17− # osx_image: xcode11.4

18−

19− - env: BUILD_NAME=LINUX-AMD64

20− os: linux

21− dist: bionic

22− arch: amd64

23−

24− # disable due to it takes too long. For a successful build, it may take over 20 hours!

25− # - env: BUILD_NAME=LINUX-ARM64

26− # os: linux

27− # dist: bionic

28− # arch: arm64

29−

30−before_script:

31− - unset CC

32− - sudo -n true || echo "sudo password needed, may fail"

33− - sudo -v

34−

35−# Here starts the actual work to be performed for the package under test;

36−# any command which exits with a non-zero exit code causes the build to fail.

37−script:

38− - |

39− # Run tests

40− ./ci/DevOps/local/test/cb.sh

41−

42−after_success:

43− - |

44− # Build and ship binary

45− # cd.sh will deploy the built image locally and push it to the docker hub

46− # Because it needs to login to docker hub, you should define the following

47− # two env variables in the travis-ci.org setting page of this repository

48− # project_m36_DOCKER_HUB_USERNAME

49− # project_m36_DOCKER_HUB_PASSWORD

50− ./ci/DevOps/local/test/cd.sh

51−

52−# EOF

.travis.yml.origdeleted−68

@@ -1,68 +0,0 @@

1−# For more information, see https://github.com/ChrisPenner/haskell-stack-travis-ci

2−language: c

3−sudo: false

4−

5−git:

6− submodules: false # whether to recursively clone submodules

7−

8−cache:

9− directories:

10− - $HOME/.ghc

11− - $HOME/.cabal

12− - $HOME/.stack

13− - .stack-work

14− timeout: 1000

15−

16−matrix:

17− fast_finish: true

18− include:

19− - env: CACHE_NAME=8.2.2 STACK_YAML=stack.ghc8.2.yaml

20− compiler: ": #stack 8.2.2"

21−

22− - env: CACHE_NAME=osx-8.2.2 STACK_YAML=stack.ghc8.2.yaml

23− os: osx

24− osx_image: xcode7.3

25− compiler: ": #stack 8.2.2"

26−

27− - env: CACHE_NAME=8.4.4 STACK_YAML=stack.ghc8.4.yaml

28− compiler: ": #stack 8.4.4"

29−

30− - env: CACHE_NAME=8.6.5 STACK_YAML=stack.ghc8.6.yaml

31− compiler: ": #stack 8.6.5"

32−

33− - env: CACHE_NAME=osx-8.6.5 STACK_YAML=stack.ghc8.6.yaml

34− os: osx

35− osx_image: xcode11

36− compiler: ": #stack 8.6.5"

37−

38−before_script:

39− - unset CC

40− - export PATH=$HOME/.local/bin:/opt/ghc/$GHC_VERSION/bin:$PATH

41− - ./.travis/install-ghr.sh

42− - ./.travis/install-stack.sh

43−

44−# Here starts the actual work to be performed for the package under test;

45−# any command which exits with a non-zero exit code causes the build to fail.

46−script:

47− - |

48− # Run tests

49− set -e

50− ./.travis/install-dependencies.sh

51− stack --no-terminal --jobs=2 --system-ghc test

52− - |

53− #Run HLint

54− if [[ "$(uname)" = "Linux" ]]; then

55− curl -sL https://raw.github.com/ndmitchell/hlint/master/misc/travis.sh | sh -s lint src test examples --cpp-define VERSION_project_m36=HLINT

56− fi

57− - |

58− #Run Haddock

59− if [[ "$(uname)" = "Linux" ]]; then

60− stack --no-install-ghc --system-ghc --no-haddock-deps haddock

61− fi

62−

63−after_success:

64− - |

65− # Build and ship binary

66− #./.travis/attach-binary.sh

67−

68−# EOF

.travis/attach-binary.shdeleted−25

@@ -1,25 +0,0 @@

1−#!/bin/sh

2−set -o errexit -o verbose

3−

4−if test ! "$BUILD_BINARY" || test ! "$TRAVIS_TAG"

5−then

6− echo 'This is not a release build.'

7−elif test ! "$GITHUB_TOKEN"

8−then

9− echo 'The GITHUB_TOKEN environment variable is not set!'

10− exit 1

11−else

12− echo "Building binary for $TRAVIS_OS_NAME to $TRAVIS_TAG..."

13− stack build --ghc-options -O2 --pedantic

14− echo "Attaching binary for $TRAVIS_OS_NAME to $TRAVIS_TAG..."

15− OWNER="$(echo "$TRAVIS_REPO_SLUG" | cut -f1 -d/)"

16− REPO="$(echo "$TRAVIS_REPO_SLUG" | cut -f2 -d/)"

17− BIN="$(stack path --local-install-root)/bin/$REPO"

18− BUNDLE_NAME="$REPO-$TRAVIS_TAG-$TRAVIS_OS_NAME.tar.gz"

19− cp "$BIN" "./$REPO"

20− chmod +x "./$REPO"

21− tar -czf "$BUNDLE_NAME" "$REPO"

22− echo "SHA256:"

23− shasum -a 256 "$BUNDLE_NAME"

24− ghr -t "$GITHUB_TOKEN" -u "$OWNER" -r "$REPO" --replace "$(git describe --tags)" "$BUNDLE_NAME"

25−fi

.travis/install-dependencies.shdeleted−22

@@ -1,22 +0,0 @@

1−# Run tests

2−if [[ "$(uname)" = "Darwin" ]]; then

3− timeout_cmd="gtimeout"

4−else

5− timeout_cmd="timeout"

6−fi

7−$timeout_cmd 40m stack --no-terminal --jobs=2 --install-ghc --system-ghc build --only-dependencies --fast

8−ret=$?

9−case "$ret" in

10− 0)

11− # continue

12− ;;

13− 124)

14− echo "Timed out while installing dependencies."

15− echo "Try building again by pushing a new commit."

16− exit 1

17− ;;

18− *)

19− echo "Failed to install dependencies; stack exited with $ret"

20− exit "$ret"

21− ;;

22−esac

.travis/install-ghc.shdeleted−16

@@ -1,16 +0,0 @@

1−#!/bin/sh

2−set -eux

3−#assume stack is installed

4−STACK=~/.local/bin/stack

5−

6−fetch_ghc_osx() {

7− echo "Using stack to install GHC $GHC_VERSION"

8− $STACK setup $GHC_VERSION

9−}

10−

11−if [ "$(uname)" = "Darwin" ]; then

12− fetch_ghc_osx

13−else

14− #installed by apt

15− echo "Linux GHC $GHC_VERSION via APT already installed."

16−fi

.travis/install-ghr.shdeleted−21

@@ -1,21 +0,0 @@

1−#!/bin/sh

2−set -o errexit -o verbose

3−

4−if test ! "$BUILD_BINARY" || test ! "$TRAVIS_TAG"

5−then

6− echo 'This is not a release build.'

7−else

8− if [ "$TRAVIS_OS_NAME" = "linux" ]

9− then

10− ARCH="linux"

11− else

12− ARCH="darwin"

13− fi

14− echo "Installing ghr"

15− URL="https://github.com/tcnksm/ghr/releases/download/v0.5.4/ghr_v0.5.4_${ARCH}_386.zip"

16− curl -L ${URL} > ghr.zip

17− mkdir -p "$HOME/bin"

18− export PATH="$HOME/bin:$PATH"

19− unzip ghr.zip -d "$HOME/bin"

20− rm ghr.zip

21−fi

.travis/install-stack.shdeleted−27

@@ -1,27 +0,0 @@

1−#!/bin/sh

2−

3−# Adapted from https://github.com/commercialhaskell/stack

4−

5−set -eux

6−

7−travis_retry() {

8− cmd=$*

9− $cmd || (sleep 2 && $cmd) || (sleep 10 && $cmd)

10−}

11−

12−fetch_stack_osx() {

13− curl -skL https://get.haskellstack.org/stable/osx-x86_64.tar.gz | tar xz --strip-components=1 --include '*/stack' -C ~/.local/bin;

14−}

15−

16−fetch_stack_linux() {

17− curl -sL https://get.haskellstack.org/stable/linux-x86_64.tar.gz | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack';

18−}

19−

20−# We need stack to generate cabal files with precise bounds, even for cabal

21−# builds.

22−mkdir -p ~/.local/bin;

23−if [ "$(uname)" = "Darwin" ]; then

24− travis_retry fetch_stack_osx

25−else

26− travis_retry fetch_stack_linux

27−fi

Changelog.markdown+21

@@ -1,3 +1,24 @@

1+# 2021-04-01 (v0.9.3)

2+

3+* add new ":importtutd <URI> <SHA256 hash>" feature to import TutorialD from a local file or a HTTP/HTTPS URI

4+

5+# 2020-12-27 (v0.9.0)

6+

7+* replace unmaintained distributed-process-client-server RPC package with new curryer RPC package

8+* drop support for GHC 8.2 and GHC 8.4 due to dependency on DerivingVia extension

9+

10+# 2020-11-21 (v0.8.2)

11+

12+* support multiple extend expressions in TutorialD

13+* fix parsing of Bool atoms in TutorialD

14+* fix database context expressions which include self-references such as `s:=s union s`

15+* show constraints as TutorialD when using tutd console

16+* add `RelationalExprAtom` data type useful for storing `RelationalExpr` within the database

17+

18+# 2020-10-05 (v0.8.1)

19+

20+* support GHC 8.10

21+

1# 2020-05-25 (v0.8)

22# 2020-05-25 (v0.8)

2

23

3* refactor backend to maximize laziness: [An Architecture for Data Independence](docs/data_independence.markdown)

24* refactor backend to maximize laziness: [An Architecture for Data Independence](docs/data_independence.markdown)

DevOps/common/common.shdeleted−148

@@ -1,148 +0,0 @@

1−#!/usr/bin/env bash

2−set -Eeuo pipefail

3−

4−guard_bash_error () {

5− set -Eeuo pipefail

6−}

7−

8−# Log levels

9−INFO=0

10−WARN=1

11−ERROR=2

12−FATAL=3

13−DEBUG=4

14−DEFAULT_LOG_LEVEL=${ERROR}

15−

16−my_exit () {

17− echo "EXIT: - [HOST:$(hostname)]: - $(date +"%Y-%m-%d %H:%M:%S") - $1"

18− exit "$2"

19−}

20−

21−msg () {

22− if [ $1 -le ${DEFAULT_LOG_LEVEL} ]; then

23− echo "[HOST:$(hostname)]: - $(date +"%Y-%m-%d %H:%M:%S") - $2"

24− fi

25−}

26−

27−info () {

28− msg ${INFO} "INFO: - $1"

29−}

30−

31−warn () {

32− msg ${WARN} "WARNING: - $1"

33−}

34−

35−error () {

36− msg ${ERROR} "ERROR: - $1"

37−}

38−

39−fatal () {

40− msg ${FATAL} "FATAL: - $1"

41−}

42−

43−debug () {

44− msg ${DEBUG} "DEBUG: - $1"

45−}

46−

47−begin_banner () {

48− info "$1 - $2 phase - begin"

49−}

50−

51−done_banner () {

52− info "$1 - $2 phase - done"

53−}

54−

55−### turn path within script into absolute path

56−### must pass the calling string of the script as the first parameter

57−### e.g., ./path_to_script/script.sh

58−### or, /root/path_to_script/script.sh

59−### return the absolute path to the script with "echo" command

60−turn_to_absolute_path () {

61− local SCRIPT_ABS_PATH_RAW="$(dirname "$1")"

62− # turn SCRIPT_ABS_PATH into absolute path

63− case ${SCRIPT_ABS_PATH_RAW} in

64− /*) echo "${SCRIPT_ABS_PATH_RAW}" ;;

65− \.\.*) echo "$PWD/${SCRIPT_ABS_PATH_RAW}" ;;

66− \.*) echo "$PWD/${SCRIPT_ABS_PATH_RAW}" ;;

67− *) echo "$PWD" ;;

68− esac

69−}

70−

71−### change CD to up to the project root directory

72−### must pass the absolute path to the script as the first parameter

73−change_CD_to_project_root () {

74− cd "$1"

75− local up_level=..

76− local my_loop=10 # guard not to loop forever

77− until ls "${up_level}"|grep -w DevOps > /dev/null 2>&1 && [ ${my_loop} -gt 0 ]

78− do

79− up_level=${up_level}/..

80− my_loop=$(expr ${my_loop} - 1)

81− done

82− if [ ${my_loop} -eq 0 ]; then

83− my_exit "Too many level up within the searching for DevOps directory,abort." 1

84− fi

85− cd "$1/${up_level}"

86−}

87−

88−### check OS and distribution

89−### return the OS distribution and ID with "echo" command

90−check_dist_or_OS () {

91− local MY_THE_DISTRIBUTION_ID=""

92− local MY_THE_DISTRIBUTION_VERSION=""

93− if [ -e /etc/os-release ]; then

94− MY_THE_DISTRIBUTION_ID=$(grep -w "ID" /etc/os-release |awk -F"=" '{print $NF}'|sed 's/"//g')

95− if [ "${MY_THE_DISTRIBUTION_ID}" == "ubuntu" ]; then

96− MY_THE_DISTRIBUTION_VERSION=$(grep -w "VERSION_ID" /etc/os-release |awk -F"=" '{print $NF}'|sed 's/"//g')

97− else

98− MY_THE_DISTRIBUTION_VERSION=$(grep -w "VERSION_ID" /etc/os-release |awk -F"=" '{print $NF}'|awk -F"." '{print $1}'|sed 's/"//g')

99− fi

100− echo "${MY_THE_DISTRIBUTION_ID} ${MY_THE_DISTRIBUTION_VERSION}"

101− else if type uname > /dev/null 2>&1; then

102− MY_THE_DISTRIBUTION_ID=$(uname -s)

103− MY_THE_DISTRIBUTION_VERSION=$(uname -r)

104− echo "${MY_THE_DISTRIBUTION_ID} ${MY_THE_DISTRIBUTION_VERSION}"

105− else

106− echo ""

107− fi

108− fi

109−}

110−

111−### guard that the caller of the script must be root or has sudo right

112−guard_root_or_sudo () {

113− if [[ $EUID > 0 ]] && ! sudo -v >/dev/null 2>&1; then

114− return 1

115− else

116− return 0

117− fi

118−}

119−

120−### init script with check if root or sudo

121−init_with_root_or_sudo () {

122− guard_bash_error

123−

124− if ! guard_root_or_sudo; then

125− my_exit "You must be root or you must be sudoer to prepare the env for CI/CD." 1

126− fi

127−

128− SCRIPT_ABS_PATH=$(turn_to_absolute_path $0)

129−

130− change_CD_to_project_root ${SCRIPT_ABS_PATH}

131−

132− THE_DISTRIBUTION_ID_VERSION=$(check_dist_or_OS)

133− THE_DISTRIBUTION_ID=$(echo ${THE_DISTRIBUTION_ID_VERSION}|awk '{print $1}')

134− THE_DISTRIBUTION_VERSION=$(echo ${THE_DISTRIBUTION_ID_VERSION}|awk '{print $2}')

135−}

136−

137−### init script without check if root or sudo

138−init_without_root_or_sudo () {

139− guard_bash_error

140−

141− SCRIPT_ABS_PATH=$(turn_to_absolute_path $0)

142−

143− change_CD_to_project_root ${SCRIPT_ABS_PATH}

144−

145− THE_DISTRIBUTION_ID_VERSION=$(check_dist_or_OS)

146− THE_DISTRIBUTION_ID=$(echo ${THE_DISTRIBUTION_ID_VERSION}|awk '{print $1}')

147− THE_DISTRIBUTION_VERSION=$(echo ${THE_DISTRIBUTION_ID_VERSION}|awk '{print $2}')

148−}

DevOps/local/test/build/build.shdeleted−18

@@ -1,18 +0,0 @@

1−#!/usr/bin/env bash

2−if ! type dirname > /dev/null 2>&1; then

3− echo "Not even a linux or macOS, Windoze? We don't support it. Abort."

4− exit 1

5−fi

6−

7−. "$(dirname "$0")"/../../../common/common.sh

8−

9−init_with_root_or_sudo "$0"

10−

11−begin_banner "Top level" "build build"

12−

13−#set +u to temp work around the nix script

14−set +u

15−[[ -e $HOME/.nix-profile/etc/profile.d/nix.sh ]] && . $HOME/.nix-profile/etc/profile.d/nix.sh

16−set -u

17−

18−done_banner "Top level" "build build"

DevOps/local/test/build/finishing.shdeleted−14

@@ -1,14 +0,0 @@

1−#!/usr/bin/env bash

2−

3−if ! type dirname > /dev/null 2>&1; then

4− echo "Not even a linux or macOS, Windoze? We don't support it. Abort."

5− exit 1

6−fi

7−

8−. "$(dirname "$0")"/../../../common/common.sh

9−

10−init_with_root_or_sudo "$0"

11−

12−begin_banner "Top level" "build finishing"

13−

14−done_banner "Top level" "build finishing"

DevOps/local/test/build/prepare.shdeleted−81

@@ -1,81 +0,0 @@

1−#!/usr/bin/env bash

2−

3−if ! type dirname > /dev/null 2>&1; then

4− echo "Not even a linux or macOS, Windoze? We don't support it. Abort."

5− exit 1

6−fi

7−

8−. "$(dirname "$0")"/../../../common/common.sh

9−

10−init_with_root_or_sudo "$0"

11−

12−begin_banner "Top level" "build prepare"

13−

14−get_last_stable_nix_channel () {

15− local MY_CHANNEL_NAME_REGEX=""

16− case ${THE_DISTRIBUTION_ID} in

17− debian|ubuntu|rhel|centos) MY_CHANNEL_NAME_REGEX='s/.*$nixos-[0-9][0-9].[0-9][0-9]$.*/\1/p' ;;

18− Darwin) MY_CHANNEL_NAME_REGEX='s/.*$nixpkgs-[0-9][0-9].[0-9][0-9]-darwin$.*/\1/p' ;;

19− *) ;;

20− esac

21− local MY_LAST_NIX_STABLE_CHANNEL=$(git ls-remote --heads https://github.com/NixOS/nixpkgs-channels | awk '{print $NF}' | awk -F"/" '{print $NF}' | grep -v "\-unstable" | grep -v "\-small" | sed -n ${MY_CHANNEL_NAME_REGEX} | sort | tail -2 | head -1)

22− echo ${MY_LAST_NIX_STABLE_CHANNEL}

23−}

24−

25−switch_to_last_stable_nix_channel () {

26− nix-channel --remove nixpkgs

27− nix-channel --add "https://nixos.org/channels/$(get_last_stable_nix_channel)" nixpkgs

28− nix-channel --update

29−}

30−

31−set +u

32−[[ -e $HOME/.nix-profile/etc/profile.d/nix.sh ]] && . $HOME/.nix-profile/etc/profile.d/nix.sh

33−set -u

34−

35−if ! type nix-build >/dev/null 2>&1; then

36− info "no nix-build found, trying to install it"

37− case ${THE_DISTRIBUTION_ID} in

38− debian)

39− [[ -e /proc/sys/kernel/unprivileged_userns_clone ]] && sudo sysctl kernel.unprivileged_userns_clone=1

40− curl https://nixos.org/nix/install | sh

41− ;;

42− ubuntu)

43− [[ -e /proc/sys/kernel/unprivileged_userns_clone ]] && sudo sysctl kernel.unprivileged_userns_clone=1

44− curl https://nixos.org/nix/install | sh

45− ;;

46− Darwin)

47− curl https://nixos.org/nix/install | sh

48− ;;

49− rhel|centos)

50− curl https://nixos.org/releases/nix/nix-2.1.3/install | sh

51− ;;

52− *) ;;

53− esac

54− set +u

55− . $HOME/.nix-profile/etc/profile.d/nix.sh

56− set -u

57− switch_to_last_stable_nix_channel

58−fi

59−

60−if ! type patchelf >/dev/null 2>&1; then

61− info "no patchelf found, trying to install it"

62− nix-env --install patchelf

63−fi

64−

65−if ! type cabal2nix >/dev/null 2>&1; then

66− info "no cabal2nix found, trying to install it"

67−

68− nix-env --install cabal2nix

69−fi

70−

71−if ! type nix-prefetch-git >/dev/null 2>&1; then

72− info "no nix-prefetch-git found, trying to install it"

73− nix-env --install nix-prefetch-git

74−fi

75−

76−if ! type cabal >/dev/null 2>&1; then

77− info "no cabal-install found, trying to install it"

78− nix-env --install cabal-install

79−fi

80−

81−done_banner "Top level" "build prepare"

DevOps/local/test/build/unbuild.shdeleted−14

@@ -1,14 +0,0 @@

1−#!/usr/bin/env bash

2−

3−if ! type dirname > /dev/null 2>&1; then

4− echo "Not even a linux or macOS, Windoze? We don't support it. Abort."

5− exit 1

6−fi

7−

8−. "$(dirname "$0")"/../../../common/common.sh

9−

10−init_with_root_or_sudo "$0"

11−

12−begin_banner "Top level" "build unbuild"

13−

14−done_banner "Top level" "build unbuild"

DevOps/local/test/build/unfinishing.shdeleted−13

@@ -1,13 +0,0 @@

1−#!/usr/bin/env bash

2−if ! type dirname > /dev/null 2>&1; then

3− echo "Not even a linux or macOS, Windoze? We don't support it. Abort."

4− exit 1

5−fi

6−

7−. "$(dirname "$0")"/../../../common/common.sh

8−

9−init_with_root_or_sudo "$0"

10−

11−begin_banner "Top level" "build unfinishing"

12−

13−done_banner "Top level" "build unfinishing"

DevOps/local/test/build/unprepare.shdeleted−34

@@ -1,34 +0,0 @@

1−#!/usr/bin/env bash

2−

3−if ! type dirname > /dev/null 2>&1; then

4− echo "Not even a linux or macOS, Windoze? We don't support it. Abort."

5− exit 1

6−fi

7−

8−. "$(dirname "$0")"/../../../common/common.sh

9−

10−init_with_root_or_sudo "$0"

11−

12−begin_banner "Top level" "build unprepare"

13−

14−set +u

15−[[ -e $HOME/.nix-profile/etc/profile.d/nix.sh ]] && . $HOME/.nix-profile/etc/profile.d/nix.sh

16−set -u

17−

18−if type nix-build >/dev/null 2>&1; then

19− info "nix-build found, trying to uninstall it"

20− if [ "${THE_DISTRIBUTION_ID}" == "debian" ] || [ "${THE_DISTRIBUTION_ID}" == "ubuntu" ]; then

21− [[ -e /proc/sys/kernel/unprivileged_userns_clone ]] && sudo sysctl kernel.unprivileged_userns_clone=1

22− fi

23− set +e

24− sudo rm -fr /nix > /dev/null 2>&1

25− set -e

26− sudo rm -fr $HOME/.nix-channels

27− sudo rm -fr $HOME/.nix-defexpr

28− sudo rm -fr $HOME/.nix-profile

29− [[ -f $HOME/.profile ]] && sed -i.nix.uninstall.bak '/.nix-profile/d' $HOME/.profile

30− [[ -f $HOME/.bash_profile ]] && sed -i.nix.uninstall.bak '/.nix-profile/d' $HOME/.bash_profile

31− [[ -f $HOME/.bashrc ]] && sed -i.nix.uninstall.bak '/.nix-profile/d' $HOME/.bashrc

32−fi

33−

34−done_banner "Top level" "build unprepare"

DevOps/local/test/cb-cd-ct.shdeleted−63

@@ -1,63 +0,0 @@

1−#!/usr/bin/env bash

2−if ! type dirname > /dev/null 2>&1; then

3− echo "Not even a linux or macOS, Windoze? We don't support it. Abort."

4− exit 1

5−fi

6−

7−. "$(dirname "$0")"/../../common/common.sh

8−

9−init_with_root_or_sudo "$0"

10−

11−begin_banner "Top level" "Cont. Build, Deploy and Test"

12−

13−warn "Nothing can be filled by default, you must build the top level CB-CD-CT pipeline yourself."

14−warn "Refer to the cb-cd-ct.sh for some example"

15−

16−#${SCRIPT_ABS_PATH}/prepare.sh

17−#${SCRIPT_ABS_PATH}/build/prepare.sh

18−

19−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/build/unfinishing.sh

20−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/build/unbuild.sh

21−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/build/unprepare.sh

22−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/unfinishing.sh

23−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/unprepare.sh

24−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/prepare.sh

25−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/build/prepare.sh

26−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/build/build.sh

27−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/build/finishing.sh

28−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/finishing.sh

29−

30−#${SCRIPT_ABS_PATH}/build/build.sh

31−#${SCRIPT_ABS_PATH}/build/finishing.sh

32−

33−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/deploy/unfinishing.sh

34−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/deploy/undeploy.sh

35−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/deploy/unprepare.sh

36−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/unfinishing.sh

37−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/unprepare.sh

38−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/prepare.sh

39−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/deploy/prepare.sh

40−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/deploy/deploy.sh

41−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/deploy/finishing.sh

42−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/finishing.sh

43−

44−#${SCRIPT_ABS_PATH}/deploy/deploy.sh

45−#${SCRIPT_ABS_PATH}/deploy/finishing.sh

46−

47−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/test/unfinishing.sh

48−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/test/untest.sh

49−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/test/unprepare.sh

50−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/unfinishing.sh

51−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/unprepare.sh

52−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/prepare.sh

53−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/test/prepare.sh

54−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/test/test.sh

55−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/test/finishing.sh

56−#${SCRIPT_ABS_PATH}/../../../MY_SUB_PROJECT_NAME/DevOps/MY_LOCATION_NAME/MY_PHASE_NAME/finishing.sh

57−

58−#${SCRIPT_ABS_PATH}/test/test.sh

59−#${SCRIPT_ABS_PATH}/test/finishing.sh

60−

61−#${SCRIPT_ABS_PATH}/finishing.sh

62−

63−done_banner "Top level" "Cont. Build, Deploy and Test"

DevOps/local/test/cb-cd.shdeleted−49

@@ -1,49 +0,0 @@

1−#!/usr/bin/env bash

2−if ! type dirname > /dev/null 2>&1; then

3− echo "Not even a linux or macOS, Windoze? We don't support it. Abort."

4− exit 1

5−fi

6−

7−. "$(dirname "$0")"/../../common/common.sh

8−

9−init_with_root_or_sudo "$0"

10−

11−begin_banner "Top level" "Cont. Build and Deploy"

12−

13−warn "Nothing can be filled by default, you must build the top level CB-CD pipeline yourself."

14−warn "Refer to the cb-cd.sh for some example"