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/mozjs17.morph | |
| parent | 296716191c99c1d7c18efb80e53c0124e0382176 (diff) | |
| download | definitions-d3f15b855da413a5782b82f4b26c9f5b5631032e.tar.gz | |
Add GNOME stratum
Change-Id: Ib6a47a4eb859d7b32c94f0cb05add774db6d15c8
Diffstat (limited to 'strata/gnome/mozjs17.morph')
| -rw-r--r-- | strata/gnome/mozjs17.morph | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/strata/gnome/mozjs17.morph b/strata/gnome/mozjs17.morph new file mode 100644 index 00000000..971ebfd3 --- /dev/null +++ b/strata/gnome/mozjs17.morph @@ -0,0 +1,17 @@ +name: mozjs17 +kind: chunk +build-system: manual +configure-commands: +- | + cd js/src; + ./configure --prefix="$PREFIX" \ + --with-system-nspr \ + --with-system-ffi \ + --enable-threadsafe +build-commands: +- | + cd js/src; + make +install-commands: +- cd js/src; + make DESTDIR="$DESTDIR" install |