Make sure that the -g flag is correctly propagated to the auxiliary Makefile...
Make sure that the -g flag is correctly propagated to the auxiliary Makefile when compiling the ocaml/cduce interface
Loading
Please register or sign in to comment
Make sure that the -g flag is correctly propagated to the auxiliary Makefile when compiling the ocaml/cduce interface