fix installation directory for 'make framac' target (!37) · Merge requests · pub / open-source-case-studies

Andre Maroneze requested to merge fix-make-install into master Jan 31, 2023

À part le fix du makefile, j'ai mis à jour l'image Docker, du coup j'ai profité pour synchroniser avec Frama-C master, sinon la CI échouerait.

Edited Jan 31, 2023 by Andre Maroneze

fix installation directory for 'make framac' target