Index: apps/graph/src/Makefile.inc
===================================================================
--- apps/graph/src/Makefile.inc	(revision 9381)
+++ apps/graph/src/Makefile.inc	(revision 9382)
@@ -1,11 +1,12 @@
 ImportApps := common
-ExternalLibs := nauty
 
-SharedModules := ALL
+ifndef ExtensionTop
+  ExternalLibs := nauty
 
-graph_compare$O : ExtraCXXFLAGS = -DBIGNAUTY -I$(BuildDir)/external/nauty
+  graph_compare$O : ExtraCXXFLAGS = -DBIGNAUTY -I$(BuildDir)/external/nauty
 
-LIBS += $(BuildDir)/external/nauty/libnauty$A
+  LIBS += $(BuildDir)/external/nauty/libnauty$A
+endif
 
 # Local Variables:
 # mode: Makefile
Index: apps/polytope/src/Makefile.inc
===================================================================
--- apps/polytope/src/Makefile.inc	(revision 9381)
+++ apps/polytope/src/Makefile.inc	(revision 9382)
@@ -1,13 +1,14 @@
 ImportApps := graph common
-ExternalLibs := cdd lrs
 
-SharedModules := ALL
+ifndef ExtensionTop
+  ExternalLibs := cdd lrs
 
-lrs_interface$O : ExtraCXXFLAGS = -I$(ProjectTop)/external/lrs
-cdd_interface$O : ExtraCXXFLAGS = -I$(ProjectTop)/external/cdd/lib-src-gmp $(call addinclude, $(ProjectTop)/ext_lib/cdd/globals_gmp.h)
-cdd_float_interface$O : ExtraCXXFLAGS = -I$(ProjectTop)/external/cdd/lib-src
+  lrs_interface$O : ExtraCXXFLAGS = -I$(ProjectTop)/external/lrs
+  cdd_interface$O : ExtraCXXFLAGS = -I$(ProjectTop)/external/cdd/lib-src-gmp $(call addinclude, $(ProjectTop)/ext_lib/cdd/globals_gmp.h)
+  cdd_float_interface$O : ExtraCXXFLAGS = -I$(ProjectTop)/external/cdd/lib-src
 
-LIBS += $(BuildDir)/external/lrs/liblrsgmp$A $(BuildDir)/external/cdd/libcddgmp$A $(BuildDir)/external/cdd/libcdd$A
+  LIBS += $(BuildDir)/external/lrs/liblrsgmp$A $(BuildDir)/external/cdd/libcddgmp$A $(BuildDir)/external/cdd/libcdd$A
+endif
 
 # Local Variables:
 # mode: Makefile