  ifeq ($(PRETTY), 1)
  P_STATUS = 0
  P_OFFSET = 0
-@@ -874,6 +893,12 @@ config-gcc-static: clean
- 	echo 'ENABLE_READLINE := 0' >> Makefile.conf
- 	echo 'ENABLE_TCL := 0' >> Makefile.conf
+@@ -981,6 +1000,12 @@ config-gprof: clean
+ 	echo 'CONFIG := gcc' > Makefile.conf
+ 	echo 'ENABLE_GPROF := 1' >> Makefile.conf
  
 +config-conda-linux: clean
 +	echo 'CONFIG := conda-linux' > Makefile.conf

+CXXFLAGS += -std=c++11 -Os
+ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H"
+
 else ifeq ($(CONFIG),emcc)
 CXX = emcc
 LD = emcc
@@ -497,6 +511,11 @@ EXTRA_OBJS += $(1)
 .SECONDARY: $(1)
 endef
 

+config-conda-mac: clean
+	echo 'CONFIG := conda-mac' > Makefile.conf
+
 config-sudo:
 	echo "INSTALL_SUDO := sudo" >> Makefile.conf
 
@@ -1001,5 +1026,5 @@ echo-abc-rev:
 -include techlibs/*/*.d
 
 .PHONY: all top-all abc test install install-abc manual clean mrproper qtcreator coverage vcxsrc mxebin
-.PHONY: config-clean config-clang config-gcc config-gcc-static config-gcc-4.8 config-afl-gcc config-gprof config-sudo
+.PHONY: config-clean config-clang config-gcc config-gcc-static config-gcc-4.8 config-afl-gcc config-gprof config-conda-linux config-conda-mac config-sudo
 
