summaryrefslogtreecommitdiff
path: root/debian/patches/01_install.dpatch
blob: f31b4b0f683372db48cc43b961e67fed8de7291b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#! /bin/sh /usr/share/dpatch/dpatch-run
## 01_install.dpatch by Pietro Abate <pietro.abate@anu.edu.au>
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: No description.

@DPATCH@
diff -urNad trunk~/Makefile trunk/Makefile
--- trunk~/Makefile	2007-09-15 23:36:40.000000000 +0200
+++ trunk/Makefile	2007-11-17 00:01:57.056665643 +0100
@@ -8,7 +8,10 @@
 DOC_FILES = XmlRpc.mli XmlRpcServer.mli XmlRpcBase64.mli
 
 all: native-code-library byte-code-library
-install: libinstall
+install:
+	cp META XmlRpcBase64.mli XmlRpcBase64.cmi XmlRpc.mli XmlRpc.cmi XmlRpcServer.mli XmlRpcServer.cmi xmlrpc-light.cma xmlrpc-light.cmxa xmlrpc-light.a $(INSTALLDIR)
+installopt:
+	cp xmlrpc-light.cmxa xmlrpc-light.a $(INSTALLDIR)
 uninstall: libuninstall
 
 include $(OCAMLMAKEFILE)