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-17 12:24:49 +0000 |
commit | 3f89fd531d5a8b933c2ba300587237a781261852 (patch) | |
tree | f28464aec072ec8424a7eecb9b00cb645415bb56 /strata/privileges-management/mozjs17.morph | |
parent | de1ff63cc2e89cdedf76611b96136fd7478628c8 (diff) | |
download | definitions-3f89fd531d5a8b933c2ba300587237a781261852.tar.gz |
Move polkit to 'privileges-management' stratum
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 |