blob: d89f32d46fbed705bc333d1f767f2b3806fcc1ca (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
diff -Naur frama-c-Beryllium-20090601-beta1-orig/Makefile.in frama-c-Beryllium-20090601-beta1-ptch/Makefile.in
--- frama-c-Beryllium-20090601-beta1-orig/Makefile.in 2009-06-23 11:24:39.000000000 +0000
+++ frama-c-Beryllium-20090601-beta1-ptch/Makefile.in 2009-09-04 15:32:40.000000000 +0000
@@ -358,10 +358,12 @@
GRAPH_GUICMX= $(GRAPH_GUICMO:.cmo=.cmx)
GRAPH_GUIO= $(GRAPH_GUICMO:.cmo=.o)
HAS_VIEWGRAPH=yes
+ifneq ("$(OCAMLGRAPH_LOCAL)","")
BYTE_GUI_LIBS+= $(GRAPH_GUICMO)
OPT_GUI_LIBS+= $(GRAPH_GUICMX)
+endif
endif
endif
endif # whether ocamlgraph is local
|