From a14a00e8e6f7ffa02066df49269b9636955dbf92 Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat Date: Wed, 20 Mar 2024 12:41:03 +0000 Subject: [PATCH] dsl_unparse: assume lkt_parse is reachable through the PATH Nowadays, all setups are supposed to have lkt_* programs in their paths: remove the relative path to it from this testcase so that it works on all setups regardless of where repositories are checked out. --- testsuite/tests/dsl_unparse/test.py | 19 +------------------ 1 file changed, 1 insertion(+), 18 deletions(-) diff --git a/testsuite/tests/dsl_unparse/test.py b/testsuite/tests/dsl_unparse/test.py index b11df3a61..31aa2228a 100644 --- a/testsuite/tests/dsl_unparse/test.py +++ b/testsuite/tests/dsl_unparse/test.py @@ -2,7 +2,6 @@ Test that dsl_unparse does not crash on libadalang. """ import os -from os import path as P import subprocess import sys @@ -40,20 +39,4 @@ LAL_BUILD_MODE = os.environ['LIBADALANG_BUILD_MODE'] or "dev" sys.stdout.flush() -subprocess.check_call( - [ - P.join( - os.environ['LIBADALANG_ROOTDIR'], - 'langkit', - 'contrib', - 'lkt', - 'build', - 'obj-mains', - LAL_BUILD_MODE, - 'lkt_parse', - ), - '-s', - '-f', - unparse_dest, - ] -) +subprocess.check_call(['lkt_parse', '-s', '-f', unparse_dest])