diff options
author | Richard Ipsum <richard.ipsum@codethink.co.uk> | 2015-01-20 10:51:49 +0000 |
---|---|---|
committer | Richard Ipsum <richard.ipsum@codethink.co.uk> | 2015-01-22 17:00:51 +0000 |
commit | 3174f8fc609a62908757eeb3a8dfcf5bd145934d (patch) | |
tree | a2ac5de27056bc5f684b23123b9e552ff0d39a3c /strata/devtools/screen.morph | |
parent | 95c31140fced760a5f8c3392b86b54a117f1ac82 (diff) | |
download | definitions-3174f8fc609a62908757eeb3a8dfcf5bd145934d.tar.gz |
Move some tools into newly created devtools stratum
Collect tools which nothing build depends on into same stratum to reduce
unnecessary rebuilding.
Diffstat (limited to 'strata/devtools/screen.morph')
-rw-r--r-- | strata/devtools/screen.morph | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/strata/devtools/screen.morph b/strata/devtools/screen.morph new file mode 100644 index 00000000..0b23c5d4 --- /dev/null +++ b/strata/devtools/screen.morph @@ -0,0 +1,11 @@ +name: screen +kind: chunk +description: A terminal multiplexer and sanity tool for many +max-jobs: 1 +configure-commands: +- cd ./src && sh autogen.sh +- cd ./src && ./configure --prefix="$PREFIX" +build-commands: +- cd ./src && make +install-commands: +- cd ./src && make DESTDIR="$DESTDIR" install |