+.PHONY:: all all.opt byte opt top clean distclean configure opt-compil
+.PHONY:: $(MAKESUBDIRS:%=%.all) $(MAKESUBDIRS:%=%.opt) subdirs.all subdirs.opt
+.PHONY:: all-opt all-byte byte-only opt-only pure-byte
+.PHONY:: copy-stubs install-stubs install install-man install-python install-common
+
+
+# below follow the main make targets when ocamlbuild is not enabled
+ifneq ($(FEATURE_OCAMLBUILD),yes)
+
+# All make targets that are expected to be an entry point have a dependency on
+# 'Makefile.config' to ensure that if Makefile.config is not present, an error
+# message is printed first before any other actions are executed.
+# In addition, the targets that actually build something have a dependency on
+# '.depend' and 'version.ml'.
+
+# dispatches to either 'all-dev' or 'all-release'
+all: Makefile.config
+ @$(MAKE) .depend
+ $(MAKE) $(TARGET_ALL)
+
+# make "all" comes in three flavours
+world: Makefile.config version.ml
+ @echo "building both versions of spatch"
+ $(MAKE) .depend
+ $(MAKE) byte
+ $(MAKE) opt-compil
+ $(MAKE) preinstall
+ $(MAKE) docs
+ @echo ""
+ @echo -e "\tcoccinelle can now be installed via 'make install'"
+
+# note: the 'all-dev' target excludes the documentation
+all-dev: Makefile.config version.ml
+ @$(MAKE) .depend
+ @echo "building the unoptimized version of spatch"
+ $(MAKE) byte
+ @$(MAKE) preinstall
+ @echo ""
+ @echo -e "\tcoccinelle can now be installed via 'make install'"
+
+all-release: Makefile.config version.ml
+ @echo building $(TARGET_SPATCH)
+ $(MAKE) .depend
+ $(MAKE) $(TARGET_SPATCH)
+ $(MAKE) preinstall
+ $(MAKE) docs
+ @echo ""
+ @echo -e "\tcoccinelle can now be installed via 'make install'"
+
+all.opt: Makefile.config
+ @$(MAKE) .depend
+ $(MAKE) opt-only
+ $(MAKE) preinstall
+
+byte: Makefile.config version.ml
+ @$(MAKE) .depend
+ @$(MAKE) subdirs.all
+ @$(MAKE) $(EXEC)
+ @echo the compilation of $(EXEC) finished
+ @echo $(EXEC) can be installed or used
+
+opt-compil: Makefile.config version.ml
+ $(MAKE) .depend
+ $(MAKE) subdirs.opt BUILD_OPT=yes
+ $(MAKE) $(EXEC).opt BUILD_OPT=yes
+ @echo the compilation of $(EXEC).opt finished
+ @echo $(EXEC).opt can be installed or used
+
+top: $(EXEC).top