--- alt-ergo-2.0.0/Makefile.users.orig 2017-11-14 10:01:38.000000000 -0700
+++ alt-ergo-2.0.0/Makefile.users 2019-05-31 10:27:59.204322901 -0600
@@ -180,12 +180,12 @@ lib/util/cmdline_parser.ml: config.statu
@echo "(* parse_args () should be called as soon as possible (put earlier" > lib/util/cmdline_parser.ml
@echo " when linking) because some choices during compilation depend on" >> lib/util/cmdline_parser.ml
@echo " given options (e.g. dfs-sat)" >> lib/util/cmdline_parser.ml
- @echo "\n -> The following call:" >> lib/util/cmdline_parser.ml
+ @echo -e "\n -> The following call:" >> lib/util/cmdline_parser.ml
@echo " 1 - should be kept when builtind Alt-Ergo tools" >> lib/util/cmdline_parser.ml
@echo " 2 - should be removed to build and use only the library." >> lib/util/cmdline_parser.ml
- @echo "\n Alternatively to 2, one can just remove cmdline_parser.cmo/cmx in" >> lib/util/cmdline_parser.ml
+ @echo -e "\n Alternatively to 2, one can just remove cmdline_parser.cmo/cmx in" >> lib/util/cmdline_parser.ml
@echo " Makefile.users *)" >> lib/util/cmdline_parser.ml
- @echo "\nlet () = Options.parse_cmdline_arguments ()" >> lib/util/cmdline_parser.ml
+ @echo -e "\nlet () = Options.parse_cmdline_arguments ()" >> lib/util/cmdline_parser.ml
META: config.status
@echo "description = \"API of Alt-Ergo: An automatic theorem prover dedicated to program verification\"" > META