diff options
author | Tim King <taking@google.com> | 2015-10-23 18:31:30 -0700 |
---|---|---|
committer | Tim King <taking@google.com> | 2015-10-26 10:12:37 -0700 |
commit | 52b8d1508d91a2284c29e3fae02a22307e42a476 (patch) | |
tree | d6d7f0daebc6a30b95b00f6b243b1239c801249b /src/mksubdirs | |
parent | 596581cefe8bc36f30f685d884d6152ff0b80b03 (diff) |
This commit removes using absolute paths in the generation of the .subdirs file. This also rearranges generation of the file so that one .subdirs file is generated once per Makefile.am file. This keeps using relative paths clean.
Diffstat (limited to 'src/mksubdirs')
-rwxr-xr-x | src/mksubdirs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/mksubdirs b/src/mksubdirs new file mode 100755 index 000000000..c96437caa --- /dev/null +++ b/src/mksubdirs @@ -0,0 +1,16 @@ +#!/bin/bash +# +# The purpose of this file is to generate a .subdirs file in the build process. +# This file contains a file of relative paths to all of the theories relative +# to the current directory. Each Makefile.am should thus build its own .subdirs file. +# This assumes it is passed the equivalent of the $top_srcdir configure variable. +# +# Invocation: +# +# mksubdirs <top_srcdir> + +TOP_SRCDIR=$1 + +grep '^THEORIES = ' $TOP_SRCDIR/src/Makefile.theories | \ + cut -d' ' -f3- | tr ' ' "\n" | \ + xargs -I__D__ echo "$TOP_SRCDIR/src/theory/__D__/kinds" |