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..c22a7833 --- /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: c8e33aaaba2787d3c94eba00257051400d106e76 +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 |