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

Snippets Groups Projects

Merged Andre Maroneze requested to merge fix-make-install into master 2 years ago

All threads resolved!

À 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 2 years ago by Andre Maroneze

Activity

Andre Maroneze assigned to @perrelle 2 years ago

assigned to @perrelle
Andre Maroneze added 1 commit 2 years ago
added 1 commit

3e751791 - synchronize with frama-c master

Compare with previous version
Andre Maroneze changed the description 2 years ago

changed the description
Valentin Perrelle @perrelle started a thread on an outdated change in commit 880a56e9 2 years ago

Resolved 2 years ago by Valentin Perrelle
Last reply by Valentin Perrelle 2 years ago

Valentin Perrelle approved this merge request 2 years ago

approved this merge request

Andre Maroneze added 1 commit 2 years ago

added 1 commit

447b9a6f - avoid PWD in Makefile

Compare with previous version

Valentin Perrelle resolved all threads 2 years ago

resolved all threads

Valentin Perrelle mentioned in commit 2 years ago

mentioned in commit 700b7249

Valentin Perrelle merged 2 years ago

merged

Please register or sign in to reply