diff options
Diffstat (limited to 'elements/privileges-management/mozjs17.bst')
-rw-r--r-- | elements/privileges-management/mozjs17.bst | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/elements/privileges-management/mozjs17.bst b/elements/privileges-management/mozjs17.bst new file mode 100644 index 00000000..66ca6405 --- /dev/null +++ b/elements/privileges-management/mozjs17.bst @@ -0,0 +1,26 @@ +kind: manual +depends: +- foundation.bst +- glib-common.bst +- network-security.bst +- python2-core.bst +sources: +- kind: git + url: upstream:mozilla/mozjs17 + track: baserock/gnome + ref: 1c1080f592d4a0005c1765c870f314b3475825ae +config: + 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="%{install-root}" install |