diff options
author | Javier Jardón <jjardon@gnome.org> | 2016-02-11 14:07:35 +0000 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2016-02-11 14:07:35 +0000 |
commit | 944faa227531318cd9b3a1af112bc8c1271a176a (patch) | |
tree | c244de2b7b959e938efccf7bf57306aafaf7edf5 /strata/privileges-management/mozjs17.morph | |
parent | 214f4c83f993b5798d890f184b2fb3d2325f36c7 (diff) | |
download | definitions-944faa227531318cd9b3a1af112bc8c1271a176a.tar.gz |
Move polkit to 'privileges-management' stratumjjardon/reorganization
Change-Id: I231453daa3e84b72af9eb4121596d6bb868cf009
Diffstat (limited to 'strata/privileges-management/mozjs17.morph')
-rw-r--r-- | strata/privileges-management/mozjs17.morph | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/strata/privileges-management/mozjs17.morph b/strata/privileges-management/mozjs17.morph new file mode 100644 index 00000000..968bfcc8 --- /dev/null +++ b/strata/privileges-management/mozjs17.morph @@ -0,0 +1,18 @@ +name: mozjs17 +kind: chunk +build-system: manual +configure-commands: +- | + cd js/src; + ./configure --prefix="$PREFIX" \ + --sysconfdir=/etc \ + --with-system-nspr \ + --with-system-ffi \ + --enable-threadsafe +build-commands: +- | + cd js/src; + make +install-commands: +- cd js/src; + make DESTDIR="$DESTDIR" install |