--- configure.orig 2023-02-22 20:22:10 UTC +++ configure @@ -136,8 +136,6 @@ for opt do --enable-coverage) build_mode="coverage";; -h|-help|--help) show_help=yes;; *) - echo "$0: unknown option $opt; try $0 --help" - exit 1 ;; esac done @@ -429,6 +427,7 @@ if test $backend = mcode; then *mingw32*) ortho_flags="Flags_Windows${mcode64}" ;; *linux*) ortho_flags="Flags_Linux${mcode64}" ;; *openbsd*) ortho_flags="Flags_Macosx${mcode64}" ;; + *freebsd*) ortho_flags="Flags_Linux${mcode64}" ;; *) echo "Unsupported $build build for mcode"; exit 1;; esac echo "Generate ortho_code-x86-flags.ads"