[ivette] rework make and check API

ivette/Makefile

@@ -106,14 +106,11 @@ update-distrib-files:
 
 api:
 	@echo "[Ivette] Generating TypeScript API"
-	@find src/frama-c -path "*/api/*" -name "*.ts" -exec rm -f {} \;
-	../bin/frama-c \
-		-server-tsc
-	@find src/frama-c -path "*/api/*" -name "*.ts" \
-		-exec headache \
-			-h ../headers/open-source/CEA_LGPL \
-			-c ../headers/headache_config.txt {} \;\
-		-exec chmod a-w {} \;
+	./api.sh build src
+
+check-api:
+	@echo "[Ivette] Checking TypeScript API"
+	./api.sh check src
 
 # --------------------------------------------------------------------------
 # --- Ivette Documentation

ivette/api.sh

+#!/bin/bash
+##########################################################################
+#                                                                        #
+#  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).            #
+#                                                                        #
+##########################################################################
+
+if [[ $# != 2 ]];
+then
+  cat <<EOF
+usage: $0 [check|build] path
+EOF
+  exit 2
+fi
+
+case "$1" in
+  "build") ;;
+  "check") ;;
+  *)
+    echo "Bad first parameter: $1"
+    echo "Exiting without doing anything.";
+    exit 31
+esac
+action="$1"
+
+if [[ ! -d $2 ]]; then
+  echo "$2 directory doesn't exist"
+fi
+path=$2
+
+build () {
+  build_path=$1
+
+  find $build_path/frama-c -path "*/api/*" -name "*.ts" -exec rm -f {} \;
+	../bin/frama-c -server-tsc -server-tsc-out $build_path
+	find $build_path/frama-c -path "*/api/*" -name "*.ts" \
+		-exec headache \
+			-h ../headers/open-source/CEA_LGPL \
+			-c ../headers/headache_config.txt {} \;\
+		-exec chmod a-w {} \;
+}
+
+tmp=
+cleanup () {
+  if [[ -n $tmp ]]; then
+    rm -rf $tmp
+  fi
+}
+
+check () {
+  check_path=$1
+  tmp="$(mktemp -d)"
+  trap cleanup EXIT
+
+  cp -r $check_path/frama-c $tmp/frama-c
+  build $tmp
+  diff -r $check_path/frama-c $tmp/frama-c
+}
+
+case "$action" in
+  "build") build $path ;;
+  "check") check $path ;;
+esac