Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
5f04af24
Commit
5f04af24
authored
Aug 29, 2019
by
Virgile Prevosto
Browse files
[Makefile] add -thread where needed
parent
a0f42479
Changes
3
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
5f04af24
...
...
@@ -1300,12 +1300,6 @@ gui: gui-$(OCAMLBEST)
ALL_GUI_CMO
=
$(ALL_CMO)
$(GRAPH_GUICMO)
$(GUICMO)
ALL_GUI_CMX
=
$(
patsubst
%.cma,%.cmxa,
$(ALL_GUI_CMO:.cmo=.cmx)
)
ifeq
($(LABLGTK_VERSION),3)
THREAD
=
-thread
else
THREAD
=
endif
bin/viewer.byte$(EXE)
:
BYTE_LIBS+= $(GRAPH_GUICMO)
bin/viewer.byte$(EXE)
:
$(filter-out $(GRAPH_GUICMO)
,
$(ALL_GUI_CMO))
\
$(GEN_BYTE_LIBS)
\
...
...
share/Makefile.config.in
View file @
5f04af24
...
...
@@ -108,9 +108,11 @@ HAS_GTKSOURCEVIEW ?=@HAS_GTKSOURCEVIEW@
LABLGTK_VERSION
?=
@LABLGTK_VERSION@
ifeq
("$(LABLGTK_VERSION)","3")
GTKSOURCEVIEW
:=
lablgtk3-sourceview3
THREAD
:=
-thread
else
GTKSOURCEVIEW
:=
\
$(
patsubst
lablgtk%,
$(LABLGTK)
.%,
$(
basename
$(
notdir
@GTKSOURCEVIEW@
)))
THREAD
:=
endif
# lablgnomecanvas
...
...
share/Makefile.plugin.template
View file @
5f04af24
...
...
@@ -456,8 +456,8 @@ $(NAME_DOCFLAGS):= $(DOC_FLAGS) $(PLUGIN_DOCFLAGS) \
$(
addprefix
-package
,
$(PLUGIN_REQUIRES)
$(LIBRARY_NAMES)
)
ifeq
($(HAS_GUI),yes)
$(NAME_GUI_BFLAGS)
:=
$
(
$(NAME_BFLAGS)
)
$(
addprefix
-package
,
$(LIBRARY_NAMES_GUI)
)
$(NAME_GUI_OFLAGS)
:=
$
(
$(NAME_OFLAGS)
)
$(
addprefix
-package
,
$(LIBRARY_NAMES_GUI)
)
$(NAME_GUI_BFLAGS)
:=
$
(
$(NAME_BFLAGS)
)
$(THREAD)
$(
addprefix
-package
,
$(LIBRARY_NAMES_GUI)
)
$(NAME_GUI_OFLAGS)
:=
$
(
$(NAME_OFLAGS)
)
$(THREAD)
$(
addprefix
-package
,
$(LIBRARY_NAMES_GUI)
)
$(TARGET_GUI_BFLAGS)
:=
$(PLUGIN_LINK_GUI_BFLAGS)
$(TARGET_GUI_OFLAGS)
:=
$(PLUGIN_LINK_GUI_OFLAGS)
$(NAME_DOCFLAGS)
:=
$
(
$(NAME_DOCFLAGS)
)
$(
addprefix
-package
,
$(LIBRARY_NAMES_GUI)
)
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment