Merge branch 'master' of ghthub:tiyn/dotfiles

.local/bin/app-maps/threema-beta

@@ -0,0 +1,3 @@
+#!/bin/sh
+export XDG_CURRENT_DESKTOP="GNOME"
+exec /usr/bin/threema-beta "$@"

.local/bin/etc/nvim/compiler

@@ -10,6 +10,7 @@ file=$(readlink -f "$1")
 dir=$(dirname "$file")
 base="${file%.*}"
 basenodir="${1%.*}"
+vipercmd="silicon" #"carbon"
 
 cd "$dir" || exit
 
@@ -25,6 +26,7 @@ textype() { \
 	}
 
 case "$file" in
+        *\.vpr) $vipercmd "$file" ;;
 	*\.ms) refer -PS -e "$file" | groff -me -ms -kept -T pdf > "$base".pdf ;;
 	*\.mom) refer -PS -e "$file" | groff -mom -kept -T pdf > "$base".pdf ;;
 	*\.[0-9]) refer -PS -e "$file" | groff -mandoc -T pdf > "$base".pdf ;;

.local/bin/etc/viper/carbon

@@ -0,0 +1,2 @@
+#!/bin/sh
+java -jar "$VIPER_CARBON" --z3Exe "$VIPER_Z3" --boogieExe "$VIPER_BOOGIE" "$@"

.local/bin/etc/viper/silicon

@@ -0,0 +1,2 @@
+#!/bin/sh
+java -jar "$VIPER_SILICON" "$@"

.profile

@@ -64,6 +64,12 @@ export PATH="${GOBIN}:${PATH}"
 # nim
 export PATH="${HOME}/.nimble/bin:${PATH}"
 
+# viper
+export VIPER_SILICON=""
+export VIPER_CARBON=""
+export VIPER_Z3="/bin/z3"
+export VIPER_BOOGIE="$HOME/.dotnet/tools/boogie"
+
 # python
 export PYENV_ROOT="$HOME/.pyenv"
 export PATH="$PYENV_ROOT/bin:$PATH"