swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

update pins

Browse source
This commit is contained in:
swrup 2026-05-11 22:04:37 +02:00 • committed by Swrup
parent 6db874c98b
commit 1c7a67aa80
3 changed files with 17 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

4
source.sh
View file

@ -1,4 +1,4 @@
#!/bin/bash
#!/bin/sh
[ ! -d vendors ] && mkdir vendors
[ -d vendors/zarith ] || opam source zarith --dir vendors/zarith
@ -27,4 +27,4 @@
[ -d vendors/mirage-ptime ] || opam source mirage-ptime --dir vendors/mirage-ptime
[ -d vendors/caqti ] || opam source caqti --dir vendors/caqti
# avoid caqti-driver-sqlite3 dune rule error on "sqlite3" package not found
rm -r vendors/caqti/caqti-driver-sqlite3
[ ! -d vendors/caqti/caqti-driver-sqlite3 ] || rm -r vendors/caqti/caqti-driver-sqlite3