rm logs.threaded
This commit is contained in:
parent
1e82b25087
commit
a6d2b59da1
3 changed files with 5 additions and 5 deletions
|
|
@ -1,7 +1,8 @@
|
|||
vendor_list := \
|
||||
mkernel miou zarith bstr mnet mirage-crypto-rng-mkernel gmp digestif \
|
||||
kdf utcp flux h1 httpcats mhttp multipart_form-miou prettym tls \
|
||||
x509 vifu cachet mfat mirage-mtime caqti
|
||||
x509 vifu cachet mfat mirage-mtime caqti \
|
||||
base32 cohttp
|
||||
|
||||
secmod_fat=secrets/secmod.fat
|
||||
tap_device=tap-mte
|
||||
|
|
@ -12,7 +13,8 @@ check-kvm:
|
|||
# todo: just opam install . --deps-only?
|
||||
installs:
|
||||
opam install --yes dune utop merlin ocp-browser ocamlformat
|
||||
opam install --yes mcrunch
|
||||
# opam install --yes mcrunch
|
||||
opam install --yes crunch
|
||||
opam install --yes sqlite3 # needed for caqti even if not used
|
||||
opam install --yes caqti-driver-pgx
|
||||
opam install --yes $(vendor_list)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue