From 8e51029b021003e4817769df8ebad573cedeb43c Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 4 Oct 2019 15:59:36 +0200
Subject: [PATCH] [tests] avoid having an absolute path in an oracle

---
 tests/syntax/anon_enum_libc.c                 | 1 +
 tests/syntax/oracle/anon_enum_libc.res.oracle | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/tests/syntax/anon_enum_libc.c b/tests/syntax/anon_enum_libc.c
index f59a10e2cf3..3c420cf6e6f 100644
--- a/tests/syntax/anon_enum_libc.c
+++ b/tests/syntax/anon_enum_libc.c
@@ -1,4 +1,5 @@
 /* run.config
+FILTER: sed -e 's|#include *"\([^/]*[/]\)*\([^/]*\)"|#include "PTESTS_DIR/\2"|'
 OPT: -cpp-extra-args="-I @PTEST_DIR@" -ocode @PTEST_DIR@/result/@PTEST_NAME@.c -print -then -ocode="" @PTEST_DIR@/result/@PTEST_NAME@.c -print
 */
 
diff --git a/tests/syntax/oracle/anon_enum_libc.res.oracle b/tests/syntax/oracle/anon_enum_libc.res.oracle
index 0c3e5392e4f..7a8098f266b 100644
--- a/tests/syntax/oracle/anon_enum_libc.res.oracle
+++ b/tests/syntax/oracle/anon_enum_libc.res.oracle
@@ -1,7 +1,7 @@
 [kernel] Parsing tests/syntax/anon_enum_libc.c (with preprocessing)
 [kernel] Parsing tests/syntax/result/anon_enum_libc.c (with preprocessing)
 /* Generated by Frama-C */
-#include "/home/virgile/Frama-C/frama-c-stable/tests/syntax/anon_enum_libc.h"
+#include "PTESTS_DIR/anon_enum_libc.h"
 struct __anonstruct_s1_1 {
    int x ;
    float y ;
-- 
GitLab