dune conversion
Showing
- .gitignore 6 additions, 0 deletions.gitignore
- Makefile 93 additions, 2459 deletionsMakefile
- bin/frama-c 1 addition, 3 deletionsbin/frama-c
- bin/frama-c-gui 1 addition, 3 deletionsbin/frama-c-gui
- configure.in 1 addition, 1 deletionconfigure.in
- dune 1 addition, 0 deletionsdune
- dune-project 4 additions, 0 deletionsdune-project
- frama-c.opam 118 additions, 0 deletionsframa-c.opam
- nix/default.nix 2 additions, 1 deletionnix/default.nix
- ptests/.merlin 0 additions, 2 deletionsptests/.merlin
- ptests/dune 5 additions, 0 deletionsptests/dune
- ptests/ptests.ml 13 additions, 12 deletionsptests/ptests.ml
- share/Makefile.config.in 2 additions, 3 deletionsshare/Makefile.config.in
- share/dune 150 additions, 0 deletionsshare/dune
- src/dune 59 additions, 0 deletionssrc/dune
- src/init/boot/boot.ml 0 additions, 0 deletionssrc/init/boot/boot.ml
- src/init/boot/dune 38 additions, 0 deletionssrc/init/boot/dune
- src/init/dune 6 additions, 0 deletionssrc/init/dune
- src/init/frama_c_init.ml 0 additions, 0 deletionssrc/init/frama_c_init.ml
- src/init/frama_c_init.mli 0 additions, 0 deletionssrc/init/frama_c_init.mli
Loading
Please register or sign in to comment