diff options
author | Yury G. Kudryashov <urkud.urkud@gmail.com> | 2007-11-11 16:46:15 +0000 |
---|---|---|
committer | Yury G. Kudryashov <urkud.urkud@gmail.com> | 2007-11-11 16:46:15 +0000 |
commit | 3f8387bd6228ec4c6498a9517645006dee3fcb8e (patch) | |
tree | 05a168402590a6775a5aacda90bdd6e25b38baff /pkgs/development/interpreters/spidermonkey | |
parent | 4916fc44e3bc432c10919668a3c6994f3d8d62a7 (diff) |
Added Makefile.extra to spidermonkey
svn path=/nixpkgs/trunk/; revision=9641
Diffstat (limited to 'pkgs/development/interpreters/spidermonkey')
-rw-r--r-- | pkgs/development/interpreters/spidermonkey/Makefile.extra | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/pkgs/development/interpreters/spidermonkey/Makefile.extra b/pkgs/development/interpreters/spidermonkey/Makefile.extra new file mode 100644 index 0000000000000..278ee7b8cc3a9 --- /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 + |