Merge branch 'feature/ivette/opam-install' into 'master'
[ivette] install ivette via opam See merge request frama-c/frama-c!3961
Showing
- .gitlab-ci.yml 1 addition, 1 deletion.gitlab-ci.yml
- INSTALL.md 2 additions, 2 deletionsINSTALL.md
- Makefile 1 addition, 0 deletionsMakefile
- bin/build-src-distrib.sh 1 addition, 1 deletionbin/build-src-distrib.sh
- dev/build-release.sh 1 addition, 1 deletiondev/build-release.sh
- dev/make-distrib.sh 1 addition, 1 deletiondev/make-distrib.sh
- doc/release/validation.tex 3 additions, 3 deletionsdoc/release/validation.tex
- doc/userman/user-start.tex 3 additions, 3 deletionsdoc/userman/user-start.tex
- ivette/Makefile 47 additions, 22 deletionsivette/Makefile
- ivette/Makefile.installation 55 additions, 0 deletionsivette/Makefile.installation
- ivette/api.sh 1 addition, 1 deletionivette/api.sh
- ivette/ivette-bootstrap.sh 122 additions, 0 deletionsivette/ivette-bootstrap.sh
- ivette/ivette-macos.sh 1 addition, 3 deletionsivette/ivette-macos.sh
- ivette/src/dome/template/export.sh 1 addition, 1 deletionivette/src/dome/template/export.sh
- ivette/src/dome/template/makefile 0 additions, 7 deletionsivette/src/dome/template/makefile
- ivette/src/dome/template/package.sh 1 addition, 1 deletionivette/src/dome/template/package.sh
- ivette/src/dome/template/update.sh 1 addition, 1 deletionivette/src/dome/template/update.sh
- ivette/yarn.lock 4 additions, 9 deletionsivette/yarn.lock
- opam 18 additions, 1 deletionopam
Loading
Please register or sign in to comment