From dd846ba1da8bbbb7c1d912184cfda0b9f2212b8e Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 22 Mar 2022 16:27:40 +0100
Subject: [PATCH] [doc] Remove obsolete check
Current ACSL version retrieves the Frama-C version info from
Frama-C directory itself: there's no need to check coherence
anymore
---
doc/Makefile | 6 ------
1 file changed, 6 deletions(-)
diff --git a/doc/Makefile b/doc/Makefile
index 064150c73ca..1c6f1d1a70e 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -138,12 +138,6 @@ $(info 'acsl' not in doc; try: git clone https://github.com/acsl-language/acsl.g
else
ACSL_SUFFIX=$(shell grep acslversion acsl/version.tex | sed 's/.*{\([^{}\\]*\).*/\1/')
-ACSL_IMPLEM_VERSION=$(shell grep fcversion acsl/version.tex | sed 's/.*{\([^{}\\]*\).*/\1/')
-
-# Sanity check: version differences between Frama-C and ACSL
-ifneq ($(ACSL_IMPLEM_VERSION),$(VERSION))
- $(info WARNING: ACSL implementation refers to a different Frama-C version: $(ACSL_IMPLEM_VERSION) versus $(VERSION))
-endif
clean::
$(MAKE) -C acsl clean
--
GitLab