patch-configure

--- configure.orig	2020-02-28 21:25:18 UTC
+++ configure
@@ -114,8 +114,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
@@ -374,6 +372,7 @@ if test $backend = mcode; then
     *darwin*) ortho_flags="Flags_Macosx${mcode64}" ;;
     *mingw32*) ortho_flags="Flags_Windows${mcode64}" ;;
     *linux*) ortho_flags="Flags_Linux${mcode64}" ;;
+    *freebsd*) ortho_flags="Flags_Linux${mcode64}" ;;
     *) echo "Unsupported $build build for mcode"; exit 1;;
   esac
   echo "Generate ortho_code-x86-flags.ads"