From nobody Thu May 16 21:13:00 2024 Delivered-To: importer@patchew.org Received-SPF: pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) client-ip=192.237.175.120; envelope-from=xen-devel-bounces@lists.xenproject.org; helo=lists.xenproject.org; Authentication-Results: mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org; dmarc=pass(p=quarantine dis=none) header.from=suse.com ARC-Seal: i=1; a=rsa-sha256; t=1700637695; cv=none; d=zohomail.com; s=zohoarc; b=e1yL0GXOdSJFNSoKlL4hVTOEeUwH5eP+m22AgWct3fSaxdfHj3KmisMeVdIhq0ABaTql8pEI2AKgEENVvyztNJCPDm+g5jsx2xlXx/YHvSZNN9CPSv+Fb8cC1ZbUFziNKqEIyiyqfWEQ/IJuRzkdAYLiwwFzIV3egtof3BOWwuo= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1700637695; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=MnXdZpA9KWX08AMPs4kn4UmUpg1zNTQfrmsAZOIqgxA=; b=lMz1DTdo7DfSTJRN7QSzPIlzTd6qHKH8KYGsTAQJvZYN92QYC+DrSGawcbxrgXAoRMiNi4qDyUWLNbTTnZh9hPWzt5iCv8iN9AoqxN2yF7NuGC3hqQ9dQtygD2ssCvgYSK585x2Ep1fOt5Eipaen8Xri2yG6wWFphIETnGfcD7M= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org; dmarc=pass header.from= (p=quarantine dis=none) Return-Path: Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) by mx.zohomail.com with SMTPS id 1700637695110191.56750495031713; Tue, 21 Nov 2023 23:21:35 -0800 (PST) Received: from list by lists.xenproject.org with outflank-mailman.638454.994962 (Exim 4.92) (envelope-from ) id 1r5hXw-0004or-SS; Wed, 22 Nov 2023 07:21:16 +0000 Received: by outflank-mailman (output) from mailman id 638454.994962; Wed, 22 Nov 2023 07:21:16 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1r5hXw-0004ok-Pl; Wed, 22 Nov 2023 07:21:16 +0000 Received: by outflank-mailman (input) for mailman id 638454; Wed, 22 Nov 2023 07:21:16 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1r5hXw-0004oe-8O for xen-devel@lists.xenproject.org; Wed, 22 Nov 2023 07:21:16 +0000 Received: from smtp-out2.suse.de (smtp-out2.suse.de [195.135.220.29]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id b7a31c29-8907-11ee-9b0e-b553b5be7939; Wed, 22 Nov 2023 08:21:13 +0100 (CET) Received: from imap2.suse-dmz.suse.de (imap2.suse-dmz.suse.de [192.168.254.74]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-521) server-digest SHA512) (No client certificate requested) by smtp-out2.suse.de (Postfix) with ESMTPS id B70801F85D; Wed, 22 Nov 2023 07:21:12 +0000 (UTC) Received: from imap2.suse-dmz.suse.de (imap2.suse-dmz.suse.de [192.168.254.74]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-521) server-digest SHA512) (No client certificate requested) by imap2.suse-dmz.suse.de (Postfix) with ESMTPS id 67CEC13461; Wed, 22 Nov 2023 07:21:12 +0000 (UTC) Received: from dovecot-director2.suse.de ([192.168.254.65]) by imap2.suse-dmz.suse.de with ESMTPSA id aAkHGOirXWV9NwAAMHmgww (envelope-from ); Wed, 22 Nov 2023 07:21:12 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version X-BeenThere: xen-devel@lists.xenproject.org List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xenproject.org Precedence: list Sender: "Xen-devel" X-Inumbo-ID: b7a31c29-8907-11ee-9b0e-b553b5be7939 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.com; s=susede1; t=1700637672; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc:cc: mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=MnXdZpA9KWX08AMPs4kn4UmUpg1zNTQfrmsAZOIqgxA=; b=DMzhpjR0DrW/wSigRGCxodUow5q/atzCL9rB1XNsYj63eQ1FU/kve6kEZygaLTZOwX21FO qfgYZT54JFsgggVBD8PfiIh2YCNYfA86/0nvzuSKGMEFH5YbtJE0zyQGmILc82vqgXMySe BRf+ndTbch1GGofqwX3/4qqJ38dtQIM= From: Juergen Gross To: xen-devel@lists.xenproject.org Cc: Juergen Gross , Henry Wang , Community Manager , Andrew Cooper , George Dunlap , Jan Beulich , Julien Grall , Stefano Stabellini , Wei Liu , Anthony PERARD , Samuel Thibault Subject: [PATCH v2] stubdom: remove caml-stubdom Date: Wed, 22 Nov 2023 08:21:10 +0100 Message-Id: <20231122072110.22413-1-jgross@suse.com> X-Mailer: git-send-email 2.35.3 MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Authentication-Results: smtp-out2.suse.de; none X-Spam-Level: X-Spam-Score: 0.70 X-Spamd-Result: default: False [0.70 / 50.00]; ARC_NA(0.00)[]; RCVD_VIA_SMTP_AUTH(0.00)[]; FROM_HAS_DN(0.00)[]; TO_DN_SOME(0.00)[]; R_MISSING_CHARSET(2.50)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; MIME_GOOD(-0.10)[text/plain]; BROKEN_CONTENT_TYPE(1.50)[]; NEURAL_HAM_LONG(-1.00)[-1.000]; DKIM_SIGNED(0.00)[suse.com:s=susede1]; NEURAL_HAM_SHORT(-0.20)[-0.989]; RCPT_COUNT_TWELVE(0.00)[12]; MID_CONTAINS_FROM(1.00)[]; FUZZY_BLOCKED(0.00)[rspamd.com]; FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+]; RCVD_COUNT_TWO(0.00)[2]; RCVD_TLS_ALL(0.00)[]; BAYES_HAM(-3.00)[100.00%] X-Spam-Flag: NO X-ZohoMail-DKIM: pass (identity @suse.com) X-ZM-MESSAGEID: 1700637696689100001 Content-Type: text/plain; charset="utf-8" In order to build caml-stubdom, it must be explicitly enabled via "configure --enable-caml-stubdom". The build process is failing due to stubdom/ocaml.patch failing to apply. Since the patched file has been modified in 2014 the last time, it seems nobody cares for caml-stubdom since at least then. Remove caml-stubdom from the build system. Signed-off-by: Juergen Gross Acked-by: Christian Lindig Acked-by: Henry Wang # CHANGELOG --- V2: - add CHANGELOG entry (Andrew Cooper) --- CHANGELOG.md | 2 ++ INSTALL | 1 - stubdom/Makefile | 52 ------------------------------------- stubdom/caml/Makefile | 24 ----------------- stubdom/caml/hello.ml | 4 --- stubdom/caml/main-caml.c | 42 ------------------------------ stubdom/caml/minios.cfg | 0 stubdom/configure | 56 ---------------------------------------- stubdom/configure.ac | 2 -- stubdom/ocaml.patch | 19 -------------- 10 files changed, 2 insertions(+), 200 deletions(-) delete mode 100644 stubdom/caml/Makefile delete mode 100644 stubdom/caml/hello.ml delete mode 100644 stubdom/caml/main-caml.c delete mode 100644 stubdom/caml/minios.cfg delete mode 100644 stubdom/ocaml.patch diff --git a/CHANGELOG.md b/CHANGELOG.md index c341c9d0bf..bbb3cd5beb 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -14,6 +14,8 @@ The format is based on [Keep a Changelog](https://keepach= angelog.com/en/1.0.0/) for IPIs and Physical addressing mode for external interrupts. =20 ### Removed +- caml-stubdom has been removed. It didn't build since 2014, so nobody see= ms + to care. =20 ## [4.18.0](https://xenbits.xenproject.org/gitweb/?p=3Dxen.git;a=3Dshortlo= g;h=3DRELEASE-4.18.0) - 2023-11-16 =20 diff --git a/INSTALL b/INSTALL index 3816c17dcd..88c1464816 100644 --- a/INSTALL +++ b/INSTALL @@ -163,7 +163,6 @@ Build various stubom components, some are only example = code. Its usually enough to specify just --enable-stubdom and leave these options alone. --enable-ioemu-stubdom --enable-c-stubdom - --enable-caml-stubdom --disable-pv-grub --disable-xenstore-stubdom --enable-vtpm-stubdom diff --git a/stubdom/Makefile b/stubdom/Makefile index 0ddfce1ba2..71c9b2200e 100644 --- a/stubdom/Makefile +++ b/stubdom/Makefile @@ -257,37 +257,6 @@ $(TPMEMU_STAMPFILE): tpm_emulator-$(XEN_TARGET_ARCH) $= (GMP_STAMPFILE) .PHONY: cross-tpmemu cross-tpmemu: $(TPMEMU_STAMPFILE) =20 -############# -# Cross-ocaml -############# - -CAMLLIB =3D $(CROSS_PREFIX)/$(GNU_TARGET_ARCH)-xen-elf/lib/ocaml -OCAML_STAMPFILE=3D$(CAMLLIB)/.dirstamp - -ocaml-$(OCAML_VERSION).tar.gz: - $(FETCHER) $@ $(OCAML_URL)/$@ - -ocaml-$(XEN_TARGET_ARCH)/.dirstamp: ocaml-$(OCAML_VERSION).tar.gz ocaml.pa= tch - tar xzf $< - cd ocaml-$(OCAML_VERSION) && patch -p0 < ../ocaml.patch - rm -rf ocaml-$(XEN_TARGET_ARCH) - mv ocaml-$(OCAML_VERSION) ocaml-$(XEN_TARGET_ARCH) - touch $@ - -MINIOS_HASNOT=3DIPV6 INET_ATON - -.PHONY: cross-ocaml -cross-ocaml: $(OCAML_STAMPFILE) -$(OCAML_STAMPFILE): ocaml-$(XEN_TARGET_ARCH)/.dirstamp - cd ocaml-$(XEN_TARGET_ARCH) && ./configure -prefix $(CROSS_PREFIX)/$(GNU= _TARGET_ARCH)-xen-elf \ - -no-pthread -no-shared-libs -no-tk -no-curses \ - -cc "$(CC) -U_FORTIFY_SOURCE -fno-stack-protector -mno-red-zone" - $(foreach i,$(MINIOS_HASNOT),sed -i 's,^\(#define HAS_$(i)\),//\1,' ocaml= -$(XEN_TARGET_ARCH)/config/s.h ; ) - $(MAKE) DESTDIR=3D -C ocaml-$(XEN_TARGET_ARCH) world - $(MAKE) DESTDIR=3D -C ocaml-$(XEN_TARGET_ARCH) opt - $(MAKE) -C ocaml-$(XEN_TARGET_ARCH) install - touch $@ - ####### # Links ####### @@ -419,17 +388,6 @@ ioemu: cross-zlib cross-libpci libxenguest ioemu-minio= s-config.mk $(QEMU_ROOT)/xen-setup-stubdom ) $(MAKE) DESTDIR=3D -C ioemu -f $(QEMU_ROOT)/Makefile =20 -###### -# caml -###### - -caml-minios-config.mk: $(CURDIR)/caml/minios.cfg - MINIOS_CONFIG=3D"$<" CONFIG_FILE=3D"$(CURDIR)/$@" $(MAKE) DESTDIR=3D -C $= (MINI_OS) config - -.PHONY: caml -caml: $(CROSS_ROOT) - CPPFLAGS=3D"$(TARGET_CPPFLAGS) $(shell cat caml-minios-config.mk)" CFLAGS= =3D"$(TARGET_CFLAGS)" $(MAKE) DESTDIR=3D -C $@ LWIPDIR=3D$(CURDIR)/lwip-$(X= EN_TARGET_ARCH) OCAMLC_CROSS_PREFIX=3D$(CROSS_PREFIX)/$(GNU_TARGET_ARCH)-xe= n-elf/bin/ - ### # C ### @@ -516,10 +474,6 @@ ioemu-stubdom: APP_OBJS=3D$(CURDIR)/ioemu/i386-stubdom= /qemu.a $(CURDIR)/ioemu/i386 ioemu-stubdom: mini-os-$(XEN_TARGET_ARCH)-ioemu lwip-$(XEN_TARGET_ARCH) li= bxenguest ioemu DEF_CPPFLAGS=3D"$(TARGET_CPPFLAGS)" DEF_CFLAGS=3D"$(TARGET_CFLAGS)" DEF_L= DFLAGS=3D"$(TARGET_LDFLAGS)" MINIOS_CONFIG=3D"$(CURDIR)/ioemu-minios.cfg" $= (MAKE) DESTDIR=3D -C $(MINI_OS) OBJ_DIR=3D$(CURDIR)/$< LWIPDIR=3D$(CURDIR)/= lwip-$(XEN_TARGET_ARCH) APP_OBJS=3D"$(APP_OBJS)" =20 -.PHONY: caml-stubdom -caml-stubdom: mini-os-$(XEN_TARGET_ARCH)-caml lwip-$(XEN_TARGET_ARCH) libx= enguest cross-ocaml caml - DEF_CPPFLAGS=3D"$(TARGET_CPPFLAGS)" DEF_CFLAGS=3D"$(TARGET_CFLAGS)" DEF_L= DFLAGS=3D"$(TARGET_LDFLAGS)" MINIOS_CONFIG=3D"$(CURDIR)/caml/minios.cfg" $(= MAKE) DESTDIR=3D -C $(MINI_OS) OBJ_DIR=3D$(CURDIR)/$< LWIPDIR=3D$(CURDIR)/l= wip-$(XEN_TARGET_ARCH) APP_OBJS=3D"$(CURDIR)/caml/main-caml.o $(CURDIR)/cam= l/caml.o $(CAMLLIB)/libasmrun.a" - .PHONY: c-stubdom c-stubdom: mini-os-$(XEN_TARGET_ARCH)-c lwip-$(XEN_TARGET_ARCH) libxengues= t c DEF_CPPFLAGS=3D"$(TARGET_CPPFLAGS)" DEF_CFLAGS=3D"$(TARGET_CFLAGS)" DEF_L= DFLAGS=3D"$(TARGET_LDFLAGS)" MINIOS_CONFIG=3D"$(CURDIR)/c/minios.cfg" $(MAK= E) DESTDIR=3D -C $(MINI_OS) OBJ_DIR=3D$(CURDIR)/$< LWIPDIR=3D$(CURDIR)/lwip= -$(XEN_TARGET_ARCH) APP_OBJS=3D$(CURDIR)/c/main.a @@ -580,8 +534,6 @@ endif =20 install-c: c-stubdom =20 -install-caml: caml-stubdom - install-xenstore: xenstore-stubdom $(INSTALL_DIR) "$(DESTDIR)$(XENFIRMWAREDIR)" $(INSTALL_DATA) mini-os-$(XEN_TARGET_ARCH)-xenstore/mini-os.gz "$(DESTDIR= )$(XENFIRMWAREDIR)/xenstore-stubdom.gz" @@ -642,13 +594,11 @@ clean: $(foreach lib,$(STUB_LIBS),clean-libxen$(lib)) clean: rm -fr mini-os-$(XEN_TARGET_ARCH)-ioemu rm -fr mini-os-$(XEN_TARGET_ARCH)-c - rm -fr mini-os-$(XEN_TARGET_ARCH)-caml rm -fr mini-os-$(XEN_TARGET_ARCH)-grub rm -fr mini-os-$(XEN_TARGET_ARCH)-xenstore rm -fr mini-os-$(XEN_TARGET_ARCH)-xenstorepvh rm -fr mini-os-$(XEN_TARGET_ARCH)-vtpm rm -fr mini-os-$(XEN_TARGET_ARCH)-vtpmmgr - $(MAKE) DESTDIR=3D -C caml clean $(MAKE) DESTDIR=3D -C c clean $(MAKE) -C vtpm clean $(MAKE) -C vtpmmgr clean @@ -672,7 +622,6 @@ crossclean: clean rm -fr polarssl-$(XEN_TARGET_ARCH) rm -fr tpm_emulator-$(XEN_TARGET_ARCH) rm -f mk-headers-$(XEN_TARGET_ARCH) - rm -fr ocaml-$(XEN_TARGET_ARCH) rm -fr include =20 # clean patched sources @@ -695,7 +644,6 @@ downloadclean: patchclean rm -f pciutils-$(LIBPCI_VERSION).tar.bz2 rm -f grub-$(GRUB_VERSION).tar.gz rm -f lwip-$(LWIP_VERSION).tar.gz - rm -f ocaml-$(OCAML_VERSION).tar.gz rm -f polarssl-$(POLARSSL_VERSION)-gpl.tgz =20 .PHONY: distclean diff --git a/stubdom/caml/Makefile b/stubdom/caml/Makefile deleted file mode 100644 index f550de1680..0000000000 --- a/stubdom/caml/Makefile +++ /dev/null @@ -1,24 +0,0 @@ -XEN_ROOT =3D $(CURDIR)/../.. - -ifeq (,$(findstring clean,$(MAKECMDGOALS))) -include $(XEN_ROOT)/Config.mk -endif - -CAMLLIB =3D $(shell $(OCAMLC_CROSS_PREFIX)ocamlc -where) -DEF_CPPFLAGS +=3D -I$(CAMLLIB) - -OCAMLOPT=3D$(OCAMLC_CROSS_PREFIX)ocamlopt - -OBJS :=3D hello.cmx -LIBS :=3D=20 - -all: main-caml.o caml.o - -%.cmx: %.ml - $(OCAMLOPT) -c $< -o $@ - -caml.o: $(OBJS) - $(OCAMLOPT) $(LIBS) $^ -output-obj -o $@ - -clean: - rm -f *.a *.o *.cmx *.cmi diff --git a/stubdom/caml/hello.ml b/stubdom/caml/hello.ml deleted file mode 100644 index 3a7181134a..0000000000 --- a/stubdom/caml/hello.ml +++ /dev/null @@ -1,4 +0,0 @@ -let main arg =3D - Printf.printf "Hello, world!\n%!." - -let _ =3D Callback.register "main" main diff --git a/stubdom/caml/main-caml.c b/stubdom/caml/main-caml.c deleted file mode 100644 index dd55aca38f..0000000000 --- a/stubdom/caml/main-caml.c +++ /dev/null @@ -1,42 +0,0 @@ -/* - * Caml bootstrap - * - * Samuel Thibault , January 2008 - */ - -#include -#include - -#include -#include -#include - -/* Ugly binary compatibility with Linux */ -FILE *_stderr asm("stderr"); -int *__errno_location; -/* Will probably break everything, probably need to fetch from glibc */ -void *__ctype_b_loc; - -int main(int argc, char *argv[], char *envp[]) -{ - value *val; - - /* Get current thread's value */ - _stderr =3D stderr; - __errno_location =3D &errno; - - printf("starting caml\n"); - - /* Wait before things might hang up */ - sleep(1); - - caml_startup(argv); - val =3D caml_named_value("main"); - if (!val) { - printf("Couldn't find Caml main"); - return 1; - } - caml_callback(*val, Val_int(0)); - printf("callback returned\n"); - return 0; -} diff --git a/stubdom/caml/minios.cfg b/stubdom/caml/minios.cfg deleted file mode 100644 index e69de29bb2..0000000000 diff --git a/stubdom/configure b/stubdom/configure index 9a2226c3b7..6d41be91b6 100755 --- a/stubdom/configure +++ b/stubdom/configure @@ -600,8 +600,6 @@ POLARSSL_VERSION POLARSSL_URL GMP_VERSION GMP_URL -OCAML_VERSION -OCAML_URL GRUB_VERSION GRUB_URL LWIP_VERSION @@ -633,7 +631,6 @@ debug xenstorepvh xenstore grub -caml c host_os host_vendor @@ -687,7 +684,6 @@ ac_user_opts=3D' enable_option_checking enable_ioemu_stubdom enable_c_stubdom -enable_caml_stubdom enable_pv_grub enable_xenstore_stubdom enable_xenstorepvh_stubdom @@ -711,7 +707,6 @@ LIBPCI_URL NEWLIB_URL LWIP_URL GRUB_URL -OCAML_URL GMP_URL POLARSSL_URL TPMEMU_URL' @@ -1341,7 +1336,6 @@ Optional Features: --enable-FEATURE[=3DARG] include FEATURE [ARG=3Dyes] --enable-ioemu-stubdom Build and install ioemu-stubdom --enable-c-stubdom Build and install c-stubdom (default is DISABLED) - --enable-caml-stubdom Build and install caml-stubdom (default is DISAB= LED) --enable-pv-grub Build and install pv-grub (default is DISABLED) --disable-xenstore-stubdom Build and install xenstore-stubdom (default is @@ -1371,7 +1365,6 @@ Some influential environment variables: NEWLIB_URL Download url for newlib LWIP_URL Download url for lwip GRUB_URL Download url for grub - OCAML_URL Download url for ocaml GMP_URL Download url for libgmp POLARSSL_URL Download url for polarssl @@ -2061,44 +2054,6 @@ fi =20 =20 =20 -# Check whether --enable-caml-stubdom was given. -if test "${enable_caml_stubdom+set}" =3D set; then : - enableval=3D$enable_caml_stubdom; - -if test "x$enableval" =3D "xyes"; then : - - -caml=3Dy -STUBDOM_TARGETS=3D"$STUBDOM_TARGETS caml" -STUBDOM_BUILD=3D"$STUBDOM_BUILD caml-stubdom" -STUBDOM_INSTALL=3D"$STUBDOM_INSTALL install-caml" -STUBDOM_UNINSTALL=3D"$STUBDOM_UNINSTALL install-caml" - - -else - -if test "x$enableval" =3D "xno"; then : - - -caml=3Dn - - -fi - -fi - - -else - - -caml=3Dn - - -fi - - - - # Check whether --enable-pv-grub was given. if test "${enable_pv_grub+set}" =3D set; then : enableval=3D$enable_pv_grub; @@ -3600,17 +3555,6 @@ GRUB_VERSION=3D"0.97" =20 =20 =20 -if test "x$OCAML_URL" =3D "x"; then : - - OCAML_URL=3D"https://caml.inria.fr/pub/distrib/ocaml-4.02" - -fi -OCAML_VERSION=3D"4.02.0" - - - - - if test "x$GMP_URL" =3D "x"; then : =20 if test "x$extfiles" =3D "xy"; then : diff --git a/stubdom/configure.ac b/stubdom/configure.ac index 471e371e14..fc736c0387 100644 --- a/stubdom/configure.ac +++ b/stubdom/configure.ac @@ -20,7 +20,6 @@ m4_include([../m4/fetcher.m4]) # Enable/disable stub domains AX_STUBDOM_CONDITIONAL([ioemu-stubdom], [ioemu]) AX_STUBDOM_DEFAULT_DISABLE([c-stubdom], [c]) -AX_STUBDOM_DEFAULT_DISABLE([caml-stubdom], [caml]) AX_STUBDOM_DEFAULT_DISABLE([pv-grub], [grub]) AX_STUBDOM_DEFAULT_ENABLE([xenstore-stubdom], [xenstore]) AX_STUBDOM_DEFAULT_ENABLE([xenstorepvh-stubdom], [xenstorepvh]) @@ -60,7 +59,6 @@ AX_STUBDOM_LIB([LIBPCI], [libpci], [2.2.9], [https://mirr= ors.edge.kernel.org/pub AX_STUBDOM_LIB([NEWLIB], [newlib], [1.16.0], [https://sourceware.org/ftp/n= ewlib]) AX_STUBDOM_LIB([LWIP], [lwip], [1.3.0], [https://download.savannah.gnu.org= /releases/lwip]) AX_STUBDOM_LIB([GRUB], [grub], [0.97], [https://alpha.gnu.org/gnu/grub]) -AX_STUBDOM_LIB_NOEXT([OCAML], [ocaml], [4.02.0], [https://caml.inria.fr/pu= b/distrib/ocaml-4.02]) AX_STUBDOM_LIB([GMP], [libgmp], [4.3.2], [https://gmplib.org/download/gmp/= archive]) AX_STUBDOM_LIB([POLARSSL], [polarssl], [1.1.4]) AX_STUBDOM_LIB([TPMEMU], [berlios tpm emulator], [0.7.4]) diff --git a/stubdom/ocaml.patch b/stubdom/ocaml.patch deleted file mode 100644 index 50db4869dd..0000000000 --- a/stubdom/ocaml.patch +++ /dev/null @@ -1,19 +0,0 @@ ---- byterun/Makefile.orig 2009-04-07 12:14:02.000000000 +0100 -+++ byterun/Makefile 2009-04-07 12:13:50.000000000 +0100 -@@ -22,14 +22,14 @@ - DOBJS=3D$(OBJS:.o=3D.d.o) instrtrace.d.o - PICOBJS=3D$(OBJS:.o=3D.pic.o) -=20 --#ifeq ($(SUPPORTS_SHARED_LIBRARIES),true) -+ifeq ($(SUPPORTS_SHARED_LIBRARIES),true) -=20 - all:: libcamlrun_shared.so -=20 - install:: - cp libcamlrun_shared.so $(LIBDIR)/libcamlrun_shared.so -=20 --#endif -+endif -=20 - ocamlrun$(EXE): libcamlrun.a prims.o - $(MKEXE) $(BYTECCLINKOPTS) -o ocamlrun$(EXE) \ --=20 2.35.3