diff options
Diffstat (limited to 'cad/ghdl/files/patch-configure')
| -rw-r--r-- | cad/ghdl/files/patch-configure | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/cad/ghdl/files/patch-configure b/cad/ghdl/files/patch-configure deleted file mode 100644 index 92c2c676b25b..000000000000 --- a/cad/ghdl/files/patch-configure +++ /dev/null @@ -1,19 +0,0 @@ ---- 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" |