aboutsummaryrefslogtreecommitdiff
path: root/scripts/add-dependency.sh
blob: 2f941ffb2da2ef0d84d1da643763ff22bf98e086 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#!/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 


# Run cat to generate a new package-deps.json
cat $(nix eval .#package-defs --raw) > package-defs.json