| View Issue Details [ Jump to Notes ] [ Related Changesets ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000460 | Frama-C | Kernel > Makefile | public | 2010-04-27 13:25 | 2014-02-12 16:55 |
|
| Reporter | mehdi | |
| Assigned To | signoles | |
| Priority | normal | Severity | minor | Reproducibility | always |
| Status | closed | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | Frama-C Boron-20100401 | |
| Target Version | | Fixed in Version | Frama-C Carbon-20101201-beta1 | |
|
| Summary | 0000460: .make-ocamlgraph is not needed when using non-local ocamlgraph |
| Description |
When using a non-local ocamlgraph (and when I don't have the tarball of ocamlgraph), ".make-ocamlgraph" fails (which is expected), but note that there is no need to unpack ocamlgraph.tar.gz if I'm not going to use it.
Please find attached a patch to fix this issue.
Regards,
--
Mehdi |
| Tags | No tags attached. |
|
| Attached Files |  0002-.make-ocamlgraph-no-op-for-non-local-ocamlgraph.patch [^] (850 bytes) 2010-04-27 13:25 [Show Content] [Hide Content]From: Mehdi Dogguy <mehdi@debian.org>
Date: Sun, 25 Apr 2010 16:09:46 +0200
Subject: [PATCH] .make-ocamlgraph no-op for non-local ocamlgraph
---
Makefile | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/Makefile b/Makefile
index 6f21662..4c9e01a 100644
--- a/Makefile
+++ b/Makefile
@@ -381,6 +381,7 @@ endif # testing ocamlgraph is local
# change '.make-ocamlgraph-stamp' before 'cvs commit'
.make-ocamlgraph: .make-ocamlgraph-stamp
touch $@
+ifneq ("$(OCAMLGRAPH_LOCAL)","")
# Inline the rules of "untar-ocamlgraph" here
# because calling a recursive make does not work
$(PRINT_UNTAR) ocamlgraph
@@ -388,6 +389,7 @@ endif # testing ocamlgraph is local
$(TAR) xzf ocamlgraph.tar.gz
cd $(OCAMLGRAPH_LOCAL) && ./configure
$(MAKE) clean
+endif
include .make-ocamlgraph
DISTRIB_FILES += .make-ocamlgraph
--
|
|
Relationships 
Relationships