38 lines
1.1 KiB
Diff
38 lines
1.1 KiB
Diff
From 8056ab2f13faa7a484dc1d985208a6066cebfc89 Mon Sep 17 00:00:00 2001
|
|
From: Samuel Hym <samuel@tarides.com>
|
|
Date: Mon, 26 Feb 2024 12:06:45 +0100
|
|
Subject: [PATCH 08/14] Define OS type to None
|
|
|
|
---
|
|
configure | Bin 682823 -> 682873 bytes
|
|
configure.ac | 4 +++-
|
|
2 files changed, 3 insertions(+), 1 deletion(-)
|
|
|
|
diff --git a/configure b/configure
|
|
index 498bc2042686e7fc202a6ecdfaa1ca6d2c780efc..0eebc7063ceea9c5c392b02e68dce28144556545 100755
|
|
GIT binary patch
|
|
delta 89
|
|
zcmX?pP4nk9&4w1n7N!>F7M2#)Eo{-()pfLVwRH3H^HOWHz|7Q~G))C7E(IXSFD|Jp
|
|
lNVQe+1IkWsRN)k!zQC8At3CHR8xXStF~|1Y>zubH0{~+sAF2QV
|
|
|
|
delta 44
|
|
ycmex)P4oCQ&4w1n7N!>F7M2#)Eo{-(r@y(&F3>*rIvWtP12M<;xz{=GOa=hQ!xZiS
|
|
|
|
diff --git a/configure.ac b/configure.ac
|
|
index 6f02258356..5523a1013c 100644
|
|
--- a/configure.ac
|
|
+++ b/configure.ac
|
|
@@ -1090,7 +1090,9 @@ AS_CASE([$ocaml_cc_vendor,$target],
|
|
[oc_ldflags='-brtl -bexpfull'
|
|
AC_DEFINE([HAS_ARCH_CODE32], [1])],
|
|
[gcc-*,powerpc-*-linux*],
|
|
- [oc_ldflags="-mbss-plt"])
|
|
+ [oc_ldflags="-mbss-plt"],
|
|
+ [*,*-*-none|*,*-*-elf],
|
|
+ [ostype="None"])
|
|
|
|
## Program to use to install files
|
|
AC_PROG_INSTALL
|
|
--
|
|
2.45.2
|
|
|