diff options
| author | Javier Jardón <jjardon@gnome.org> | 2014-09-09 15:05:07 +0000 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2015-09-23 01:17:19 +0100 |
| commit | d3f15b855da413a5782b82f4b26c9f5b5631032e (patch) | |
| tree | 517c668eec6122062939e28c490c5c8a3b19f992 /strata/gnome/gnulib.morph | |
| parent | 296716191c99c1d7c18efb80e53c0124e0382176 (diff) | |
| download | definitions-d3f15b855da413a5782b82f4b26c9f5b5631032e.tar.gz | |
Add GNOME stratum
Change-Id: Ib6a47a4eb859d7b32c94f0cb05add774db6d15c8
Diffstat (limited to 'strata/gnome/gnulib.morph')
| -rw-r--r-- | strata/gnome/gnulib.morph | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/strata/gnome/gnulib.morph b/strata/gnome/gnulib.morph new file mode 100644 index 00000000..f1837c94 --- /dev/null +++ b/strata/gnome/gnulib.morph @@ -0,0 +1,8 @@ +name: gnulib +kind: chunk +build-system: manual +pre-configure-commands: +- mkdir -p "$DESTDIR$PREFIX"/share/gnulib +- cp -r * "$DESTDIR$PREFIX"/share/gnulib +- mkdir -p "$DESTDIR$PREFIX"/bin +- ln -s "$DESTDIR$PREFIX"/share/gnulib/gnulib-tool "$DESTDIR$PREFIX"/bin/gnulib-tool |