From 6d04c2bae967eff8e38381c0cbe7615c70482dc4 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 11 Jan 2023 17:52:16 +0100
Subject: [PATCH] [libc] remove obsoleted getopt.c

---
 share/dune                |  1 -
 share/libc/__fc_runtime.c |  1 -
 share/libc/getopt.c       | 28 ----------------------------
 3 files changed, 30 deletions(-)
 delete mode 100644 share/libc/getopt.c

diff --git a/share/dune b/share/dune
index 6ae783ccbd6..b086bb6380a 100644
--- a/share/dune
+++ b/share/dune
@@ -164,7 +164,6 @@
 (libc/fmtmsg.h as libc/fmtmsg.h)
 (libc/fnmatch.h as libc/fnmatch.h)
 (libc/ftw.h as libc/ftw.h)
-(libc/getopt.c as libc/getopt.c)
 (libc/getopt.h as libc/getopt.h)
 (libc/glob.c as libc/glob.c)
 (libc/glob.h as libc/glob.h)
diff --git a/share/libc/__fc_runtime.c b/share/libc/__fc_runtime.c
index e266ed9e0f4..8012c444745 100644
--- a/share/libc/__fc_runtime.c
+++ b/share/libc/__fc_runtime.c
@@ -26,7 +26,6 @@
 #include "ctype.c"
 #include "errno.c"
 #include "fenv.c"
-#include "getopt.c"
 #include "glob.c"
 #include "inttypes.c"
 #include "locale.c"
diff --git a/share/libc/getopt.c b/share/libc/getopt.c
deleted file mode 100644
index 472a8c9455e..00000000000
--- a/share/libc/getopt.c
+++ /dev/null
@@ -1,28 +0,0 @@
-/**************************************************************************/
-/*                                                                        */
-/*  This file is part of Frama-C.                                         */
-/*                                                                        */
-/*  Copyright (C) 2007-2023                                               */
-/*    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).            */
-/*                                                                        */
-/**************************************************************************/
-
-#include "getopt.h"
-__PUSH_FC_STDLIB
-
-//int optind = 1;
-
-__POP_FC_STDLIB
-- 
GitLab