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/tools | |
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/tools')
-rw-r--r-- | strata/tools/screen.morph | 11 | ||||
-rw-r--r-- | strata/tools/vim.morph | 10 |
2 files changed, 0 insertions, 21 deletions
diff --git a/strata/tools/screen.morph b/strata/tools/screen.morph deleted file mode 100644 index 0b23c5d4..00000000 --- a/strata/tools/screen.morph +++ /dev/null @@ -1,11 +0,0 @@ -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 diff --git a/strata/tools/vim.morph b/strata/tools/vim.morph deleted file mode 100644 index 58e1403f..00000000 --- a/strata/tools/vim.morph +++ /dev/null @@ -1,10 +0,0 @@ -name: vim -kind: chunk -build-system: autotools -configure-commands: -- echo '#define SYS_VIMRC_FILE "/etc/vimrc"' >>src/feature.h -- ./configure --prefix="$PREFIX" --enable-multibyte -install-commands: -- make DESTDIR="$DESTDIR" install -- mkdir -p "$DESTDIR"/etc -- install -m 644 runtime/vimrc_example.vim "$DESTDIR"/etc/vimrc |