tiyn/dotfiles
1
0
Fork 0
mirror of https://github.com/tiyn/dotfiles.git synced 2025-10-22 09:11:15 +02:00
Code Issues Projects Releases Wiki Activity

nvim: added z3 support to compiler

Browse Source
This commit is contained in:
tiyn
2025-10-21 15:28:34 +02:00
parent 9734aa56ad
commit da2ba6b999
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -42,6 +42,7 @@ case "$file" in
*\.lua) lua "$file" ;; *\.lua) lua "$file" ;;
*\.sent) setsid sent "$file" 2>/dev/null & ;; *\.sent) setsid sent "$file" 2>/dev/null & ;;
*\.r|*\.R) Rscript "$file" ;; *\.r|*\.R) Rscript "$file" ;;
*\.smt2) z3 "$file" ;;
*\.rs) (cd "$dir" && cargo locate-project >/dev/null 2>&1) \ *\.rs) (cd "$dir" && cargo locate-project >/dev/null 2>&1) \
&& (cd "$(dirname "$(cd "$dir" && cargo locate-project --message-format plain)")" && cargo run) \ && (cd "$(dirname "$(cd "$dir" && cargo locate-project --message-format plain)")" && cargo run) \
|| (rustc "$file" && "./$(basename "${file%.rs}")") ;; || (rustc "$file" && "./$(basename "${file%.rs}")") ;;