unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
blob 41494e7b3cf29915bd634cc6aa90f1f5cb467e0e 3965 bytes (raw)
name: gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch 	 # note: path name is non-authoritative(*)

  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
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
 
From b5314c20d8e3caf62fe0dc96ad937a2950158b23 Mon Sep 17 00:00:00 2001
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
Date: Thu, 2 Mar 2017 12:19:56 +0100
Subject: [PATCH] Install mli, cmx, etc.

---
 Makefile | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/Makefile b/Makefile
index 09464ff..5044d7f 100644
--- a/Makefile
+++ b/Makefile
@@ -56,7 +56,7 @@ $(DOSELIBS)/cudf.%:
 	@for i in _build/cudf/cudf.*; do \
 	  if [ -e $$i ]; then \
 	  cp $$i $(DOSELIBS) ; \
-	  rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \
+	  rm -f $(DOSELIBS)/*.mlpack ; \
 	  fi ; \
 	done
 
@@ -67,7 +67,7 @@ $(DOSELIBS)/common.%: common/*.ml common/*.mli
 	  if [ -e $$i ]; then \
 	  cp $$i $(DOSELIBS) ; \
 		rm $$i ;\
-	  rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \
+	  rm -f $(DOSELIBS)/*.mlpack ; \
 	  fi ; \
 	done
 
@@ -78,7 +78,7 @@ $(DOSELIBS)/versioning.%: versioning/*.ml versioning/*.mli
 	  if [ -e $$i ]; then \
 	  cp $$i $(DOSELIBS) ; \
 		rm $$i ;\
-	  rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \
+	  rm -f $(DOSELIBS)/*.mlpack ; \
 	  fi ; \
 	done
 
@@ -88,7 +88,7 @@ $(DOSELIBS)/algo.%: algo/*.ml algo/*.mli $(DOSELIBS)/common.%
 	  if [ -e $$i ]; then \
 	  cp $$i $(DOSELIBS) ; \
 		rm $$i ;\
-	  rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \
+	  rm -f $(DOSELIBS)/*.mlpack ; \
 	  fi ; \
 	done
 
@@ -98,7 +98,7 @@ $(DOSELIBS)/debian.%: deb/*.ml deb/*.mli $(DOSELIBS)/pef.%
 	  if [ -e $$i ]; then \
 	  cp $$i $(DOSELIBS) ; \
 		rm $$i ;\
-	  rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \
+	  rm -f $(DOSELIBS)/*.mlpack ; \
 	  fi ; \
 	done
 
@@ -108,7 +108,7 @@ $(DOSELIBS)/opam.%: opam/*.ml opam/*.mli $(DOSELIBS)/pef.%
 	  if [ -e $$i ]; then \
 	  cp $$i $(DOSELIBS) ; \
 		rm $$i ;\
-	  rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \
+	  rm -f $(DOSELIBS)/*.mlpack ; \
 	  fi ; \
 	done
 
@@ -118,7 +118,7 @@ $(DOSELIBS)/npm.%: npm/*.ml npm/*.mli $(DOSELIBS)/versioning.% $(DOSELIBS)/pef.%
 	  if [ -e $$i ]; then \
 	  cp $$i $(DOSELIBS) ; \
 		rm $$i ;\
-	  rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \
+	  rm -f $(DOSELIBS)/*.mlpack ; \
 	  fi ; \
 	done
 
@@ -128,7 +128,7 @@ $(DOSELIBS)/rpm.%: rpm/*.ml $(DOSELIBS)/algo.%
 	  if [ -e $$i ]; then \
 	  cp $$i $(DOSELIBS) ; \
 		rm $$i ;\
-	  rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \
+	  rm -f $(DOSELIBS)/*.mlpack ; \
 	  fi ; \
 	done
 
@@ -138,7 +138,7 @@ $(DOSELIBS)/pef.%: pef/*.ml pef/*.mli
 	  if [ -e $$i ]; then \
 	  cp $$i $(DOSELIBS) ; \
 		rm $$i ;\
-	  rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \
+	  rm -f $(DOSELIBS)/*.mlpack ; \
 	  fi ; \
 	done
 
@@ -148,7 +148,7 @@ $(DOSELIBS)/csw.%: opencsw/*.ml $(DOSELIBS)/versioning.%
 	  if [ -e $$i ]; then \
 	  cp $$i $(DOSELIBS) ; \
 		rm $$i ;\
-	  rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \
+	  rm -f $(DOSELIBS)/*.mlpack ; \
 	  fi ; \
 	done
 
@@ -158,7 +158,7 @@ $(DOSELIBS)/doseparse.%: $(DOSELIBS)/pef.% $(DOSELIBS)/debian.%
 	  if [ -e $$i ]; then \
 	  cp $$i $(DOSELIBS) ; \
 		rm $$i ;\
-	  rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx $(DOSELIBS)/*.ml ; \
+	  rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.ml ; \
 	  fi ; \
 	done
 
@@ -168,7 +168,7 @@ $(DOSELIBS)/doseparseNoRpm.%: $(DOSELIBS)/pef.% $(DOSELIBS)/debian.%
 	  if [ -e $$i ]; then \
 			cp $$i $(DOSELIBS) ;\
 			rm $$i ;\
-			rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ;\
+			rm -f $(DOSELIBS)/*.mlpack ;\
 	  fi ; \
 	done
 
@@ -223,7 +223,7 @@ INSTALL_STUFF_ = META
 INSTALL_STUFF_ += $(wildcard _build/doselibs/*.cma _build/doselibs/*.cmi)
 INSTALL_STUFF_ += $(wildcard _build/doselibs/*.cmxa _build/doselibs/*.cmxs)
 INSTALL_STUFF_ += $(wildcard _build/doselibs/*.a)
-#INSTALL_STUFF_ += $(wildcard _build/*/*.mli)
+INSTALL_STUFF_ += $(wildcard _build/doselibs/*.mli) $(wildcard _build/doselibs/*.cmti) $(wildcard _build/doselibs/*.cmx)
 INSTALL_STUFF_ += $(wildcard _build/rpm/*.so)
 
 exclude_cudf = $(wildcard _build/doselibs/*cudf* _build/cudf/*)
-- 
2.11.0


debug log:

solving 41494e7b3c ...
found 41494e7b3c in https://git.savannah.gnu.org/cgit/guix.git

(*) Git path names are given by the tree(s) the blob belongs to.
    Blobs themselves have no identifier aside from the hash of its contents.^

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).