Merge branch 'feature/bobot/jbuilder' into 'master'
Utilisation de dune pour la compilation de frama-c See merge request frama-c/frama-c!1414
Showing
- .git-blame-ignore-revs 3 additions, 0 deletions.git-blame-ignore-revs
- .gitattributes 7 additions, 7 deletions.gitattributes
- .gitignore 29 additions, 18 deletions.gitignore
- .gitlab-ci.yml 296 additions, 187 deletions.gitlab-ci.yml
- Changelog 1 addition, 0 deletionsChangelog
- Makefile 79 additions, 2536 deletionsMakefile
- Makefile.generating 0 additions, 199 deletionsMakefile.generating
- bin/check_newlines.ml 0 additions, 77 deletionsbin/check_newlines.ml
- bin/dune 31 additions, 0 deletionsbin/dune
- bin/frama-c 1 addition, 3 deletionsbin/frama-c
- bin/frama-c-gui 1 addition, 3 deletionsbin/frama-c-gui
- bin/frama-c-script 1 addition, 1 deletionbin/frama-c-script
- bin/init-plugin.sh 57 additions, 0 deletionsbin/init-plugin.sh
- bin/isutf8.ml 0 additions, 97 deletionsbin/isutf8.ml
- bin/test.sh 348 additions, 0 deletionsbin/test.sh
- configure.in 82 additions, 599 deletionsconfigure.in
- default.nix 0 additions, 15 deletionsdefault.nix
- dev/docker/.gitignore 0 additions, 0 deletionsdev/docker/.gitignore
- dev/docker/Dockerfile.template 0 additions, 0 deletionsdev/docker/Dockerfile.template
- dev/docker/Makefile 0 additions, 0 deletionsdev/docker/Makefile
Loading
Please register or sign in to comment