From 1dd40ee55fde0b730a7bb2d542bd483bb1db7a43 Mon Sep 17 00:00:00 2001
From: Jerome Hue <hue.jerome@yahoo.fr>
Date: Sat, 30 Dec 2023 13:13:49 +0100
Subject: [PATCH] Remove type_safe library

---
 install.sh    | 10 ----------
 libraries.txt |  1 -
 2 files changed, 11 deletions(-)

diff --git a/install.sh b/install.sh
index 8830551..2447e5f 100755
--- a/install.sh
+++ b/install.sh
@@ -71,16 +71,6 @@ if [[ $1 == "linux" ]]; then
 else
   sudo cmake --install build --prefix "$2"
 fi
-
-cd ..
-
-cd type_safe
-cmake -S . -B build
-if [[ $1 == "linux" ]]; then
-  sudo cmake --install build
-else
-  sudo cmake --install build --prefix "$2"
-fi
 cd ..
 
 cd NamedType
diff --git a/libraries.txt b/libraries.txt
index 2204be6..cf7a39c 100644
--- a/libraries.txt
+++ b/libraries.txt
@@ -1,7 +1,6 @@
 rodos,st_develop,https://github.com/SpaceTeam/rodos.git
 etl,cceb5038664a4fa363e79709bc08bd0bb356ae50,https://github.com/ETLCPP/etl.git
 debug_assert,c0b325e9023cc021bce0d23c8b4211f8e5b071d0,https://github.com/foonathan/debug_assert.git
-type_safe,b9138d8a26ea9bbab965f87ee925f53fde025fd9,https://github.com/foonathan/type_safe.git
 Catch2,v3.1.0,https://github.com/catchorg/Catch2.git
 littlefs,cmake,https://github.com/SpaceTeam/littlefs.git
 NamedType,master,https://github.com/joboccara/NamedType.git