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 49fe1fd93..0876700fa 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 |