blob: 87cd3460e4166711ccf438d670f31cf846dcd1cc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
#!/bin/sh
#
# mkbuilddir
# Morgan Deters <mdeters@cs.nyu.edu> for CVC4
#
# usage: mkbuilddir target build-type
#
# Sets up the builds/ directory for building build-type for target:
# - removes configure detritus from top-level source directory
# - makes builds/$target/$build_type directory if it's not already there
# - links builds/Makefile to (possibly nonexistent) build Makefile
# - creates the builds/current Makefile include snippet
# - links builds/src and builds/test into build directory
#
if [ $# -ne 2 ]; then
echo 'usage: mkbuilddir target build_type' >&2
exit 1
fi
target=$1
build_type=$2
: ${as_me:=mkbuilddir}
: ${as_echo:=echo}
: ${RM:=rm -f}
: ${MKDIR_P:=mkdir -p}
: ${LN_S:=ln -s}
$as_echo "$as_me: Setting up builds/$target/$build_type..."
$RM config.log config.status confdefs.h builds/Makefile
$MKDIR_P "builds/$target/$build_type"
$LN_S "$target/$build_type/Makefile.builds" builds/Makefile
$as_echo "$as_me: Creating builds/current..."
(echo "# This is the most-recently-configured CVC4 build"; \
echo "# 'make' in the top-level source directory applies to this build"; \
echo "CURRENT_BUILD = $target/$build_type") > builds/current
for dir in src test; do
$as_echo "$as_me: Linking builds/$dir..."
$RM "builds/$dir"
$LN_S "$target/$build_type/$dir" "builds/$dir"
done
|
