From aa84f10582371febafa4bbaebc152e640548dce2 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 22 Apr 2020 15:51:59 +0200 Subject: [PATCH] Let ocaml require x86_64 Fixes #180 --- lib/mk/ocaml.inc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/lib/mk/ocaml.inc b/lib/mk/ocaml.inc index d79cd0c..656d567 100644 --- a/lib/mk/ocaml.inc +++ b/lib/mk/ocaml.inc @@ -2,3 +2,6 @@ OCAML_PORT_DIR := $(call select_from_ports,ocaml) OCAML_SRC_DIR := $(OCAML_PORT_DIR)/src/ocaml INC_DIR += $(REP_DIR)/src/app/ocamlrun + +# workaround for https://github.com/genodelabs/genode-world/issues/180 +REQUIRES += x86_64