From 3fdb4ca62155b6d913bceb7797ee9e10263cb087 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 3 Apr 2024 17:36:05 +0200
Subject: Remove the check for CHARON_HOME

---
 Makefile | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 3b44e0e6..1266e631 100644
--- a/Makefile
+++ b/Makefile
@@ -20,10 +20,6 @@ REGEN_LLBC ?=
 # The path to Charon
 CHARON_HOME ?= ../charon
 
-ifeq (,$(wildcard $(CHARON_HOME)))
-  $(error The directory $$CHARON_HOME does not exist$(newline)(CHARON_HOME=$(CHARON_HOME)).)
-endif
-
 # The paths to the test directories in Charon (Aeneas will look for the .llbc
 # files in there).
 CHARON_TESTS_REGULAR_DIR ?= $(CHARON_HOME)/tests
-- 
cgit v1.2.3