From f388076ea873c0cd1e54ecaae8c4840a8ff1e5d3 Mon Sep 17 00:00:00 2001 From: Michael Lange Date: Thu, 9 Jan 2025 08:17:56 +0000 Subject: [PATCH] Loki: Remove option to disk-cache OFP ASTs --- loki/__init__.py | 5 ----- 1 file changed, 5 deletions(-) diff --git a/loki/__init__.py b/loki/__init__.py index f677d8cb1..69d1d4409 100644 --- a/loki/__init__.py +++ b/loki/__init__.py @@ -66,11 +66,6 @@ config.register('frontend-strict-mode', False, env_variable='LOKI_FRONTEND_STRICT_MODE', preprocess=lambda i: bool(i) if isinstance(i, int) else i) -# Disk-caching, which causes OFP ASTs to be cached on disk for -# fast re-parsing of unchanged source files -config.register('disk-cache', False, env_variable='LOKI_DISK_CACHE', - preprocess=lambda i: bool(i) if isinstance(i, int) else i) - # Force symbol comparison and object equality to be case sensitive config.register('case-sensitive', False, env_variable='LOKI_CASE_SENSITIVE', preprocess=lambda i: bool(i) if isinstance(i, int) else i)