aboutsummaryrefslogtreecommitdiff
blob: 62a84bca1d5d71affba721415bc77f7d7a4ea18d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
--- vine-1.0.orig/stp/ocaml/Makefile	2009-09-24 15:45:57.000000000 -0600
+++ vine-1.0/stp/ocaml/Makefile	2013-03-14 20:22:49.993194747 -0600
@@ -14,3 +14,6 @@
 		Makefile
 
 include $(OCAMLMAKEFILE)
+
+install: rawinstall
+
--- vine-1.0.orig/stp/ocaml/OCamlMakefile	2009-09-24 15:45:57.000000000 -0600
+++ vine-1.0/stp/ocaml/OCamlMakefile	2013-03-14 20:20:23.012069386 -0600
@@ -1126,10 +1126,10 @@
 .PHONY: rawinstall
 rawinstall:	all
 	$(QUIET)printf "\nInstalling library to: $(OCAML_LIB_INSTALL)\n"
-	-install -d $(OCAML_LIB_INSTALL)
+	-install -d $(DESTDIR)$(OCAML_LIB_INSTALL)
 	for i in $(LIBINSTALL_FILES); do \
 	  if [ -f $$i ]; then \
-	    install -c -m 0644 $$i $(OCAML_LIB_INSTALL); \
+	    install -c -m 0644 $$i $(DESTDIR)$(OCAML_LIB_INSTALL); \
 	  fi; \
 	done
 	$(QUIET)printf "\nInstallation successful.\n"

--- vine-1.0.orig/ocaml/Makefile	2009-09-24 15:45:57.000000000 -0600
+++ vine-1.0/ocaml/Makefile	2013-03-14 20:22:49.993194747 -0600
@@ -14,3 +14,6 @@
 
 
 include $(OCAMLMAKEFILE)
+
+install: rawinstall
+
--- vine-1.0.orig/ocaml/OCamlMakefile	2009-09-24 15:45:57.000000000 -0600
+++ vine-1.0/ocaml/OCamlMakefile	2013-03-14 20:20:23.012069386 -0600
@@ -1126,10 +1126,10 @@
 .PHONY: rawinstall
 rawinstall:	all
 	$(QUIET)printf "\nInstalling library to: $(OCAML_LIB_INSTALL)\n"
-	-install -d $(OCAML_LIB_INSTALL)
+	-install -d $(DESTDIR)$(OCAML_LIB_INSTALL)
 	for i in $(LIBINSTALL_FILES); do \
 	  if [ -f $$i ]; then \
-	    install -c -m 0644 $$i $(OCAML_LIB_INSTALL); \
+	    install -c -m 0644 $$i $(DESTDIR)$(OCAML_LIB_INSTALL); \
 	  fi; \
 	done
 	$(QUIET)printf "\nInstallation successful.\n"
--- vine-1.0.orig/trace/Makefile	2009-09-24 15:45:57.000000000 -0600
+++ vine-1.0/trace/Makefile	2013-03-14 20:22:49.993194747 -0600
@@ -14,3 +14,6 @@
 
 
 include $(OCAMLMAKEFILE)
+
+install: rawinstall
+
--- vine-1.0.orig/trace_utils/Makefile	2009-09-24 15:45:57.000000000 -0600
+++ vine-1.0/trace_utils/Makefile	2013-03-16 14:31:46.375690732 -0600
@@ -88,6 +88,8 @@
 #    * subprjs
 
 
+install:
+	
 
 %:
 	make -f $(OCAMLMAKEFILE) subprojs SUBTARGET=$@
--- vine-1.0.orig/utils/Makefile	2009-09-24 15:45:57.000000000 -0600
+++ vine-1.0/utils/Makefile	2013-03-16 14:31:46.375690732 -0600
@@ -88,6 +88,8 @@
 #    * subprjs
 
 
+install:
+	
 
 %:
 	make -f $(OCAMLMAKEFILE) subprojs SUBTARGET=$@
--- vine-1.0.orig/doc/Makefile	2009-09-24 15:45:57.000000000 -0600
+++ vine-1.0/doc/Makefile	2013-03-16 14:41:59.182926821 -0600
@@ -17,3 +17,6 @@
 
 clean:
 	(cd howto && $(MAKE) clean)
+
+install:
+