diff options
Diffstat (limited to 'Makefile.common')
-rw-r--r-- | Makefile.common | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Makefile.common b/Makefile.common index d5f79d76b..3d4e7829a 100644 --- a/Makefile.common +++ b/Makefile.common @@ -41,10 +41,11 @@ CSDPCERT:=plugins/micromega/csdpcert$(EXE) # Object and Source files ########################################################################### -ifeq ($(HASNATDYNLINK)-$(BEST),true-opt) - DEPNATDYN:= +ifeq ($(HASNATDYNLINK)-$(BEST),false-opt) + # static link of plugins, do not mention them in .v.d + DYNDEP:=-dyndep no else - DEPNATDYN:=-natdynlink no + DYNDEP:=-dyndep $(BEST) endif INSTALLBIN:=install |