Compilo C, preprocesseur, assembleur sont determines par configure et mis dans Makefile.config
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@622 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Showing
- caml/Driver.ml 6 additions, 4 deletionscaml/Driver.ml
- configure 5 additions, 0 deletionsconfigure
- extraction/Makefile 5 additions, 1 deletionextraction/Makefile
- runtime/Makefile 1 addition, 2 deletionsruntime/Makefile
- test/c/Makefile 3 additions, 2 deletionstest/c/Makefile
- test/cminor/Makefile 5 additions, 3 deletionstest/cminor/Makefile
Loading
Please register or sign in to comment