From de1cca03c746b8465510b1769455d876aaba4576 Mon Sep 17 00:00:00 2001
From: tiyn <tiyn@posteo.eu>
Date: Mon, 24 Nov 2025 04:26:13 +0100
Subject: [PATCH] nvim: setup compiler with silicon for viper files

---
 .local/bin/etc/nvim/compiler | 2 ++
 .local/bin/etc/viper/carbon  | 2 ++
 .local/bin/etc/viper/silicon | 2 ++
 .profile                     | 6 ++++++
 4 files changed, 12 insertions(+)
 create mode 100755 .local/bin/etc/viper/carbon
 create mode 100755 .local/bin/etc/viper/silicon

diff --git a/.local/bin/etc/nvim/compiler b/.local/bin/etc/nvim/compiler
index 0139d34..9301230 100755
--- a/.local/bin/etc/nvim/compiler
+++ b/.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 ;;
diff --git a/.local/bin/etc/viper/carbon b/.local/bin/etc/viper/carbon
new file mode 100755
index 0000000..1b3ca07
--- /dev/null
+++ b/.local/bin/etc/viper/carbon
@@ -0,0 +1,2 @@
+#!/bin/sh
+java -jar "$VIPER_CARBON" --z3Exe "$VIPER_Z3" --boogieExe "$VIPER_BOOGIE" "$@"
diff --git a/.local/bin/etc/viper/silicon b/.local/bin/etc/viper/silicon
new file mode 100755
index 0000000..3e4376c
--- /dev/null
+++ b/.local/bin/etc/viper/silicon
@@ -0,0 +1,2 @@
+#!/bin/sh
+java -jar "$VIPER_SILICON" "$@"
diff --git a/.profile b/.profile
index eacb3de..59b3376 100644
--- a/.profile
+++ b/.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"