tiyn/dotfiles
1
0
Fork 0
mirror of https://github.com/tiyn/dotfiles.git synced 2025-11-24 14:59:46 +01:00
Code Issues Projects Releases Wiki Activity

nvim: setup compiler with silicon for viper files

Browse Source
This commit is contained in:
Marten B. Kante
2025-11-24 04:26:13 +01:00
parent 52171c2361
commit de1cca03c7
4 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.local/bin/etc/nvim/compiler
View File

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

2
.local/bin/etc/viper/carbon Executable file
View File

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

2
.local/bin/etc/viper/silicon Executable file
View File

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

6
.profile
View File

@@ -64,6 +64,12 @@ export PATH="${GOBIN}:${PATH}"
# nim # nim
export PATH="${HOME}/.nimble/bin:${PATH}" 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 # python
export PYENV_ROOT="$HOME/.pyenv" export PYENV_ROOT="$HOME/.pyenv"
export PATH="$PYENV_ROOT/bin:$PATH" export PATH="$PYENV_ROOT/bin:$PATH"