From bb680ec185c55bc8f9bf469f9c8897b0c1235d2f Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Mon, 4 Jul 2022 08:43:17 +0200
Subject: [PATCH] [Stdlib] transitioning.ml.in -> transitioning.ml
---
.gitignore | 1 -
src/libraries/stdlib/dune | 27 -------------------
.../{transitioning.ml.in => transitioning.ml} | 0
3 files changed, 28 deletions(-)
delete mode 100644 src/libraries/stdlib/dune
rename src/libraries/stdlib/{transitioning.ml.in => transitioning.ml} (100%)
diff --git a/.gitignore b/.gitignore
index aacaa22f309..d2b865233b3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -201,7 +201,6 @@ Makefile.plugin.generated
/src/kernel_internals/parsing/clexer.ml
/src/kernel_internals/parsing/cparser.ml
/src/kernel_internals/parsing/cparser.mli
-/src/libraries/stdlib/transitioning.ml
# /src/plugins/callgraph/cg_viewer.ml
/src/plugins/gui/debug_manager.ml
/src/plugins/gui/dgraph_helper.ml
diff --git a/src/libraries/stdlib/dune b/src/libraries/stdlib/dune
deleted file mode 100644
index c79da3d5fd5..00000000000
--- a/src/libraries/stdlib/dune
+++ /dev/null
@@ -1,27 +0,0 @@
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;; ;;
-;; This file is part of Frama-C. ;;
-;; ;;
-;; Copyright (C) 2007-2022 ;;
-;; CEA (Commissariat à l'énergie atomique et aux énergies ;;
-;; alternatives) ;;
-;; ;;
-;; you can redistribute it and/or modify it under the terms of the GNU ;;
-;; Lesser General Public License as published by the Free Software ;;
-;; Foundation, version 2.1. ;;
-;; ;;
-;; It is distributed in the hope that it will be useful, ;;
-;; but WITHOUT ANY WARRANTY; without even the implied warranty of ;;
-;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ;;
-;; GNU Lesser General Public License for more details. ;;
-;; ;;
-;; See the GNU Lesser General Public License version 2.1 ;;
-;; for more details (enclosed in the file licenses/LGPLv2.1). ;;
-;; ;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
-(rule
- (targets transitioning.ml)
- (deps transitioning.ml.in ../../../config.sed)
- (action (with-stdout-to transitioning.ml (run sed -f ../../../config.sed transitioning.ml.in)))
-)
diff --git a/src/libraries/stdlib/transitioning.ml.in b/src/libraries/stdlib/transitioning.ml
similarity index 100%
rename from src/libraries/stdlib/transitioning.ml.in
rename to src/libraries/stdlib/transitioning.ml
--
GitLab