From 3f8387bd6228ec4c6498a9517645006dee3fcb8e Mon Sep 17 00:00:00 2001
From: "Yury G. Kudryashov" <urkud.urkud@gmail.com>
Date: Sun, 11 Nov 2007 16:46:15 +0000
Subject: [PATCH] Added Makefile.extra to spidermonkey

svn path=/nixpkgs/trunk/; revision=9641
---
 pkgs/development/interpreters/spidermonkey/Makefile.extra | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 pkgs/development/interpreters/spidermonkey/Makefile.extra

diff --git a/pkgs/development/interpreters/spidermonkey/Makefile.extra b/pkgs/development/interpreters/spidermonkey/Makefile.extra
new file mode 100644
index 000000000000..278ee7b8cc3a
--- /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
+