aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--README.md1
-rw-r--r--clean/.clean/iTasksDev.env30
-rwxr-xr-xclean/bin/install_clean122
-rw-r--r--system/.profile26
4 files changed, 0 insertions, 179 deletions
diff --git a/README.md b/README.md
index 6dc9c4b..007d81b 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,6 @@ My dotfiles. Feel free to use what you can.
`stow -t ~ <NAME>`, where `<NAME>` is one of:
-- `clean`: [Clean](http://clean.cs.ru.nl)
- `fonts`: fonts I often use
- `git`: git (edit `~/.gitconfig.local` yourself)
- `haskell`: GHCi
diff --git a/clean/.clean/iTasksDev.env b/clean/.clean/iTasksDev.env
deleted file mode 100644
index 7a1de36..0000000
--- a/clean/.clean/iTasksDev.env
+++ /dev/null
@@ -1,30 +0,0 @@
- Environment
- EnvironmentName: iTasksDev
- EnvironmentPaths
- Path: {Application}/lib/StdEnv
- Path: {Application}/lib/Dynamics
- Path: {Application}/lib/TCPIP
- Path: /home/camil/projects/clean/platform/src/libraries/OS-Linux-64
- Path: /home/camil/projects/clean/platform/src/libraries/OS-Linux
- Path: /home/camil/projects/clean/platform/src/libraries/OS-Posix
- Path: /home/camil/projects/clean/platform/src/libraries/Platform-x86
- Path: /home/camil/projects/clean/platform/src/libraries/OS-Independent
- Path: /home/camil/projects/clean/platform/src/libraries/OS-Independent/Deprecated/Generics
- Path: /home/camil/projects/clean/platform/src/libraries/OS-Independent/Deprecated/StdLib
- Path: /home/camil/projects/clean/abc-interpreter/lib
- Path: {Application}/lib/GraphCopy
- Path: /home/camil/projects/clean/itasks-sdk/Libraries
- Path: {Application}/lib/Gast
- EnvironmentCompiler: lib/exe/cocl-itasks:-h 1000m:-dynamics
- EnvironmentCodeGen: lib/exe/cg
- EnvironmentABCOptimise: lib/exe/abcopt
- EnvironmentByteCodeGen: lib/exe/bcgen
- EnvironmentByteCodeLink: lib/exe/bclink
- EnvironmentByteCodeStrip: lib/exe/bcstrip
- EnvironmentByteCodePrelink: lib/exe/bcprelink
- EnvironmentLinker: /usr/bin/gcc::-Wl,--gc-sections|lib/exe/itasks-web-collector
- EnvironmentVersion: 920
- EnvironmentRedirect: False
- EnvironmentCompileMethod: 3
- EnvironmentProcessor: I386
- Environment64BitProcessor: True
diff --git a/clean/bin/install_clean b/clean/bin/install_clean
deleted file mode 100755
index 697ab2b..0000000
--- a/clean/bin/install_clean
+++ /dev/null
@@ -1,122 +0,0 @@
-#!/bin/bash
-
-DEFAULT_PLATFORMS="x64 x86"
-PACKAGES="base
- abc-interpreter
- lib-argenv
- lib-directory
- lib-dynamics
- lib-gast
- lib-graphcopy
- lib-itasks
- lib-platform
- lib-stdlib
- lib-tcpip
- test"
-
-link_local_file ()
-{
- DIR="$1"
- FROM="$2"
- TO="$3"
-
- mkdir -p "$(dirname "$DIR/$FROM")"
- if [ -f "$DIR/$FROM" ]; then
- mv "$DIR/$FROM" "$DIR/$FROM.org"
- ln -s "$(realpath --no-symlinks "$TO")" "$DIR/$FROM.new"
- ln -s "$(basename "$FROM").new" "$DIR/$FROM"
- else
- ln -s "$(realpath --no-symlinks "$TO")" "$DIR/$FROM"
- fi
-}
-
-
-install ()
-{
- PLATFORM="$1"
- PACKAGES="$2"
- DIR="$3"
-
- if [ -d "$DIR" ]; then
- rm -rf "$DIR.bak"
- mv "$DIR" "$DIR.bak"
- else
- rm -rf "$DIR"
- fi
-
- mkdir -p "$DIR"
- for pkg in $PACKAGES
- do
- echo "Fetching $pkg..."
- curl -# ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-$PLATFORM/clean-$pkg-linux-$PLATFORM-latest.tgz\
- | tar xz --strip-components=1 -C "$DIR"
- done
-
- grep -h '^[[:space:]]' "$DIR"/etc/*.env >> "$DIR/etc/IDEEnvs"
- if [[ "$PLATFORM" = "x86" ]]; then
- sed \
- -e 's/gc-sections/gc-sections -m32/' \
- -e 's/Linux-64/Linux-32/' \
- -e 's/Environment64BitProcessor:\tTrue/Environment64BitProcessor:\tFalse/' \
- ~/.clean/iTasksDev.env >> "$DIR/etc/IDEEnvs"
- else
- cat ~/.clean/iTasksDev.env >> "$DIR/etc/IDEEnvs"
- tail -n +20 ~/projects/top/viia/config/IDEEnvs >> "$DIR/etc/IDEEnvs"
- fi
-
- sed -i 's/cocl-itasks:/cocl-itasks:-h 1000m /' "$DIR/etc/IDEEnvs"
- sed -i 's/\tPers$/\t3/' "$DIR/etc/IDEEnvs"
-
- ln -s lib/exe "$DIR/exe"
-
- # cloogletags
- cloogletags -q -q -a -c -d "$DIR/lib" -o "$DIR/lib/tags"
-
- # Local versions of binaries
- #link_local_file "$DIR" bin/cpm ~/projects/clean/ide/cpm/cpm
-
- link_local_file "$DIR" lib/exe/cocl /home/camil/projects/clean/compiler/cocl
- rm "$DIR/lib/exe/cocl"
- ln -s cocl.org "$DIR/lib/exe/cocl"
-
- #link_local_file "$DIR" lib/exe/cg /home/camil/projects/clean/code-generator/cg
-
- link_local_file "$DIR" bin/cleantest ~/projects/clean/test/cleantest
- link_local_file "$DIR" bin/testproperties ~/projects/clean/test-properties/src/testproperties
-
- link_local_file "$DIR" data/cleandoc-default ~/projects/clean/doc/data/cleandoc-default
- link_local_file "$DIR" bin/cleandoc ~/projects/clean/doc/src/cleandoc
-
- link_local_file "$DIR" bin/cleanprof2callgrind ~/projects/clean/prof2callgrind/cleanprof2callgrind
-
- # ABC interpreter binaries
- link_local_file "$DIR" lib/exe/abcopt ~/projects/clean/abc-interpreter/src/abcopt
- link_local_file "$DIR" lib/exe/bcgen ~/projects/clean/abc-interpreter/src/bcgen
- link_local_file "$DIR" lib/exe/bclink ~/projects/clean/abc-interpreter/src/bclink
- link_local_file "$DIR" lib/exe/bcprelink ~/projects/clean/abc-interpreter/src/bcprelink
- link_local_file "$DIR" lib/exe/bcstrip ~/projects/clean/abc-interpreter/src/bcstrip
-
- # completion
- for f in ~/projects/clean/bash-completion/*; do
- [ -f "$f" ] || continue
- base="$(basename "$f")"
- if [[ "$base" == "Makefile" ]] || [[ "$base" == "README.md" ]] || [[ "$base" =~ .tar.gz$ ]]; then
- continue
- fi
- link_local_file $DIR "etc/completion/$base" "$f"
- done
-}
-
-PLATFORMS=$@
-if [ -z "$PLATFORMS" ]; then
- PLATFORMS="$DEFAULT_PLATFORMS"
-fi
-
-for PLATFORM in $PLATFORMS
-do
- install $PLATFORM "$PACKAGES" "$CLEAN_HOME-$PLATFORM"
-
- if [ ! -e "$CLEAN_HOME" ]; then
- ln -s "$CLEAN_HOME-$PLATFORM" "$CLEAN_HOME"
- fi
-done
diff --git a/system/.profile b/system/.profile
index 85c7944..1b328de 100644
--- a/system/.profile
+++ b/system/.profile
@@ -1,6 +1,3 @@
-export CLEAN_HOME=/opt/clean
-export CLEANLIB=$CLEAN_HOME/lib/exe
-
export PATH="/usr/local/texlive/2021/bin/x86_64-linux:$PATH"
export PATH="/sbin:$PATH"
export PATH="/usr/sbin:$PATH"
@@ -12,7 +9,6 @@ export PATH="$PATH:/opt/zotero"
export PATH="$PATH:$HOME/.composer/vendor/bin"
export PATH="$PATH:$HOME/.cabal/bin"
export PATH="$PATH:$HOME/.cargo/bin"
-export PATH="$PATH:$CLEAN_HOME/bin"
export PATH="$HOME/.nitrile/bin:$PATH"
export PATH="$HOME/bin:$PATH"
export PATH="$HOME/bin.local:$PATH"
@@ -35,28 +31,6 @@ export HISTTIMEFORMAT="%Y-%m-%d %T "
export QUOTING_STYLE=literal
export _JAVA_OPTIONS='-Dawt.useSystemAAFontSettings=gasp -Dsun.java2d.opengl=true'
-cpmq() {
- res="$(cpm $@)"
- echo "$res" | grep -i 'Error' >/dev/null
- if [ $? -eq 0 ]; then
- echo "$res" | grep -v Analyzing | grep -i '^\|Error\|Warning'
- return -1
- else
- echo "$res" | grep --color=never -i 'Finished making.'
- return 0
- fi
-}
-
-abcclean() {
- find \
- "$CLEAN_HOME/lib" \
- ~/projects/clean/{itasks-sdk,platform,abc-interpreter} \
- . \
- -name '*.abc' \
- -not -name '_system.abc' \
- -exec rm {} \;
-}
-
shopt -s globstar
[ "$(tty)" = "/dev/tty1" ] && exec startx
generated by cgit v1.2.3 (git 2.39.1) at 2025-10-31 18:45:14 +0000