From 3a9e5cbd8cfa38ef2a9c4c0930dde4f0a7bec4bb Mon Sep 17 00:00:00 2001 From: Adrian-Ken Rueegsegger Date: Wed, 24 Feb 2016 00:23:08 +0100 Subject: [PATCH] Relax tool checks of Muen port The gnat and gprbuild tools are not necessarily in the PATH when preparing the port since the effective location is specified by the --image-muen-gnat-path RUN_OPT. --- repos/base-hw/ports/muen.hash | 2 +- repos/base-hw/ports/muen.port | 2 -- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/repos/base-hw/ports/muen.hash b/repos/base-hw/ports/muen.hash index f229e17788..6de5ca9bb5 100644 --- a/repos/base-hw/ports/muen.hash +++ b/repos/base-hw/ports/muen.hash @@ -1 +1 @@ -9cce20cff047c8a0054844b46c66df6531ecefb3 +2ddaef27345d1e73733c02ad824b69069bf116ce diff --git a/repos/base-hw/ports/muen.port b/repos/base-hw/ports/muen.port index 91e8cdc2ab..e4af2f90ac 100644 --- a/repos/base-hw/ports/muen.port +++ b/repos/base-hw/ports/muen.port @@ -7,8 +7,6 @@ REV(muen) := 59171a3aabba95cd6d957a4b999e802e5622835b DIR(muen) := src/kernel/muen $(call check_tool,git) -$(call check_tool,gnat) -$(call check_tool,gprbuild) $(call check_tool,iasl) $(call check_tool,tidy) $(call check_tool,xsltproc)