blob: 23d300d1b38f58f8969b77b8a2427004f576c0b7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
From: Stephane Glondu <steph@glondu.net>
Date: Fri, 29 Jul 2011 19:46:45 +0200
Subject: Install missing camomileLibrary.a
Signed-off-by: Stephane Glondu <steph@glondu.net>
---
Makefile.in | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/Makefile.in b/Makefile.in
index e1fc579..45dc0ac 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -406,7 +406,7 @@ install-with-ocamlfind:
files= &&\
if [ -f camomileLibrary.cmx ]; then files=camomileLibrary.cmx; fi && \
if [ -f camomileLibrary.cma ]; then files="camomileLibrary.cma $$files"; fi && \
- if [ -f camomileLibrary.cmxa ]; then files="camomileLibrary.cmxa $$files"; fi && \
+ if [ -f camomileLibrary.cmxa ]; then files="camomileLibrary.cmxa camomileLibrary.a $$files"; fi && \
if [ -f camomileLibraryDefault.cmx ]; then files="camomileLibraryDefault.cmx $$files"; fi && \
if [ -f camomileLibraryDyn.cmx ]; then files="camomileLibraryDyn.cmx $$files"; fi && \
if [ -f camomile.cma ]; then files="camomile.cma $$files"; fi&& \
--
|
