diff options
Diffstat (limited to 'contrib/addsourcedir')
| -rwxr-xr-x | contrib/addsourcedir | 94 |
1 files changed, 0 insertions, 94 deletions
diff --git a/contrib/addsourcedir b/contrib/addsourcedir deleted file mode 100755 index 431ec1d90..000000000 --- a/contrib/addsourcedir +++ /dev/null @@ -1,94 +0,0 @@ -#!/bin/sh -# -# addsourcedir -# Morgan Deters <mdeters@cs.nyu.edu> for the CVC4 project -# Copyright (c) 2010, 2011 The CVC4 Project -# -# usage: addsourcedir paths... -# - -progname=`basename "$0"` -cd `dirname "$0"`/.. - -if [ $# -lt 1 ]; then - echo >&2 - echo "usage: $progname paths..." >&2 - echo >&2 - echo "Each path should be relative to the top-level source directory, e.g.:" >&2 - echo >&2 - echo " $progname src/expr" >&2 - echo >&2 - exit 1 -fi - -while [ $# -gt 0 ]; do - srcdir="$1"; shift - - # remove trailing slashes, if any - srcdir=`expr "$srcdir" : '\(.*[^/]\)/*$'` - # remove redundant slashes, if any - srcdir=`echo "$srcdir" | sed 's,//*,/,g'` - - if expr "$srcdir" : src/ >/dev/null; then :; else - echo "$progname: error: Directories must be under src/" >&2 - echo "$progname: error: and \`$srcdir' isn't!" >&2 - echo "$progname: error: Make sure you provide source paths" >&2 - echo "$progname: error: relative to the top level, e.g. \`src/expr'." >&2 - exit 1 - fi - - if [ -d "$srcdir" ]; then :; else - echo "creating directory \`$srcdir'..." - mkdir -p "$srcdir" - fi - - # enough dotdots to get us back to the top-level directory - # (e.g. "src/foo" yields "../.." here), used for $(topdir) in Makefile - topdir=`echo "$srcdir" | sed 's,[^/][^/]*,..,g'` - # one less, used for the include path in Makefile.am - topsrcdir=`echo "$topdir" | sed 's,\.\./,,'` - - if [ -e "$srcdir/Makefile" ]; then - echo "$progname: warning: not replacing extant \`$srcdir/Makefile'." >&2 - else - echo "generating \`$srcdir/Makefile'..." - cat >"$srcdir/Makefile" <<EOF -topdir = $topdir -srcdir = $srcdir - -include \$(topdir)/Makefile.subdir -EOF - fi - - if [ -e "$srcdir/Makefile.am" ]; then - echo "$progname: warning: not replacing extant \`$srcdir/Makefile.am'." >&2 - else - echo "generating \`$srcdir/Makefile.am'..." - clibbase=`expr "$srcdir" : '.*/\([^/][^/]*\)$'` - if expr "$srcdir" : src/parser >/dev/null; then - definitions=" -D__BUILDING_CVC4PARSERLIB \\ -" - visibility=' $(FLAG_VISIBILITY_HIDDEN)' - elif expr "$srcdir" : src/main >/dev/null; then - definitions= - visibility= - else - definitions=" -D__BUILDING_CVC4LIB \\ -" - visibility=' $(FLAG_VISIBILITY_HIDDEN)' - fi - clibname="lib${clibbase}.la" - clibtarget="lib${clibbase}_la" - cat >"$srcdir/Makefile.am" <<EOF -AM_CPPFLAGS = \\ -$definitions -I@srcdir@/$topsrcdir/include -I@srcdir@/$topsrcdir -I@builddir@/$topsrcdir -AM_CXXFLAGS = -Wall$visibility - -noinst_LTLIBRARIES = $clibname - -${clibtarget}_SOURCES = \\ - SOURCEFILE.cpp -EOF - fi -done - |