From f704092efe964ed1f0b1644d9d868cbc8f11208b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Grubbstr=C3=B6m=20=28Grubba=29?=
 <grubba@grubba.org>
Date: Thu, 30 Dec 2004 16:07:29 +0100
Subject: [PATCH] Added some support for LIBPIKE mode.

Rev: bin/install.pike:1.157
---
 bin/install.pike | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/bin/install.pike b/bin/install.pike
index 74eb3b8757..e651d4d328 100644
--- a/bin/install.pike
+++ b/bin/install.pike
@@ -2,7 +2,7 @@
 
 // Pike installer and exporter.
 //
-// $Id: install.pike,v 1.156 2004/12/14 18:59:01 grubba Exp $
+// $Id: install.pike,v 1.157 2004/12/30 15:07:29 grubba Exp $
 
 #define USE_GTK
 
@@ -2335,6 +2335,14 @@ void do_install()
 #endif
     install_file(combine_path(vars->TMP_BUILDDIR,"pike.syms"),
 		 pike+".syms");
+    
+    // Support installation in LIBPIKE mode.
+    if (file_stat("pike.so")) {
+      if (export == 1) {
+	low_install_file("pike.so", combine_path(prefix, "build/pike.so"));
+      }
+      low_install_file("pike.so", combine_path(vars->TMP_LIBDIR, "pike.so"));
+    }
 
     string master_src=combine_path(vars->LIBDIR_SRC,"master.pike.in");
 
-- 
GitLab