blob: f6f587232b1a4a0e26a5cedb421a8b2d46f6840c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#!/bin/sh
# This script adds a dependency to the project.
set -e
NEW_DEP=$1
# Add argument to dune-project after the word (depends
# So (depends dune dream ppx becomes (depends dune dream ppx NEW_DEP
sed -i "s/\(depends.*\)/\1 $NEW_DEP/" dune-project
# Run dune to update the project
dune build ann_bloop.opam
|