diff --git a/pkgs/development/interpreters/spidermonkey/Makefile.extra b/pkgs/development/interpreters/spidermonkey/Makefile.extra new file mode 100644 index 00000000000..278ee7b8cc3 --- /dev/null +++ b/pkgs/development/interpreters/spidermonkey/Makefile.extra @@ -0,0 +1,7 @@ +install: $(PROGRAM) $(SHARED_LIBRARY) + mkdir -pv $(DIST)/{bin,lib} + mkdir -pv $(DIST)/include + cp -v $(PROGRAM) $(DIST)/bin + cp -v $(SHARED_LIBRARY) $(LIBRARY) $(DIST)/lib + cp -v $(JS_HFILES) $(API_HFILES) $(OTHER_HFILES) $(DIST)/include +