30 lines
1.9 KiB
Bash
Executable file
30 lines
1.9 KiB
Bash
Executable file
#!/bin/sh
|
|
|
|
[ ! -d vendors ] && mkdir vendors
|
|
[ -d vendors/zarith ] || opam source zarith --dir vendors/zarith
|
|
[ -d vendors/gmp ] || opam source gmp --dir vendors/gmp
|
|
[ -d vendors/bstr ] || opam source bstr --dir vendors/bstr
|
|
[ -d vendors/kdf ] || opam source kdf --dir vendors/kdf
|
|
[ -d vendors/digestif ] || opam source digestif --dir vendors/digestif
|
|
[ -d vendors/mirage-crypto-rng-mkernel ] || opam source mirage-crypto-rng-mkernel --dir vendors/mirage-crypto-rng-mkernel
|
|
[ -d vendors/mkernel ] || opam source mkernel --dir vendors/mkernel
|
|
[ -d vendors/mnet ] || opam source mnet --dir vendors/mnet
|
|
[ -d vendors/utcp ] || opam source utcp --dir vendors/utcp
|
|
[ -d vendors/flux ] || opam source flux --dir vendors/flux
|
|
[ -d vendors/h1 ] || opam source h1 --dir vendors/h1
|
|
[ -d vendors/httpcats ] || opam source httpcats --dir vendors/httpcats
|
|
[ -d vendors/mhttp ] || opam source mhttp --dir vendors/mhttp
|
|
[ -d vendors/multipart_form-miou ] || opam source multipart_form-miou --dir vendors/multipart_form-miou
|
|
[ -d vendors/prettym ] || opam source prettym --dir vendors/prettym
|
|
[ -d vendors/tls ] || opam source tls --dir vendors/tls
|
|
[ -d vendors/x509 ] || opam source x509 --dir vendors/x509
|
|
[ -d vendors/vifu ] || opam source vifu --dir vendors/vifu
|
|
[ -d vendors/cachet ] || opam source cachet --dir vendors/cachet
|
|
[ -d vendors/mfat ] || opam source mfat --dir vendors/mfat
|
|
[ -d vendors/base32 ] || opam source base32 --dir vendors/base32
|
|
[ -d vendors/cohttp ] || opam source cohttp --dir vendors/cohttp
|
|
[ -d vendors/mirage-mtime ] || opam source mirage-mtime --dir vendors/mirage-mtime
|
|
[ -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
|
|
[ ! -d vendors/caqti/caqti-driver-sqlite3 ] || rm -r vendors/caqti/caqti-driver-sqlite3
|