make-package 930 Bytes
Newer Older
Ralf Jung's avatar
Ralf Jung committed
1
2
3
4
5
6
7
8
9
10
11
#!/bin/bash
set -e
# Helper script to build and/or install just one package out of this repository.
# Assumes that all the other packages it depends on have been installed already!

PROJECT="$1"
shift

COQFILE="_CoqProject.$PROJECT"
MAKEFILE="Makefile.package.$PROJECT"

12
13
14
15
16
if ! egrep -q "^$PROJECT/" _CoqProject; then
    echo "No files in $PROJECT/ found in _CoqProject; this does not seem to be a valid project name."
    exit 1
fi

Ralf Jung's avatar
Ralf Jung committed
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
# Generate _CoqProject file and Makefile
rm -f "$COQFILE"
# Get the right "-Q" line.
egrep "^-Q $PROJECT[ /]" _CoqProject >> "$COQFILE"
# Get everything until the first empty line except for the "-Q" lines.
sed -n '/./!q;p' _CoqProject | egrep -v "^-Q " >> "$COQFILE"
# Get the files.
egrep "^$PROJECT/" _CoqProject >> "$COQFILE"
# Now we can run coq_makefile.
"${COQBIN}coq_makefile" -f "$COQFILE" -o "$MAKEFILE"

# Run build
make -f "$MAKEFILE" "$@"

# Cleanup
rm -f ".$MAKEFILE.d" "$MAKEFILE"*