From 24ea28b87f0227582ae29ea6bb485812c6b641eb Mon Sep 17 00:00:00 2001 From: Pierre Boutillier Date: Tue, 8 Apr 2014 20:08:12 +0200 Subject: Adapt coq_makefile build rules to new -R -I semantic --- tools/coq_makefile.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'tools') diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml index 3eae68ff8..0e8579143 100644 --- a/tools/coq_makefile.ml +++ b/tools/coq_makefile.ml @@ -469,16 +469,14 @@ let include_dirs (inc_i,inc_r) = List.map (fun (p,l,_) -> let l' = if l = "" then "\"\"" else l in "-R " ^ p ^ " " ^ l') l in - let inc_i' = List.filter (fun (_,i) -> not (List.exists (fun (_,_,i') -> is_prefix i' i) inc_r)) inc_i in let str_i = parse_includes inc_i in - let str_i' = parse_includes inc_i' in let str_r = parse_rec_includes inc_r in section "Libraries definitions."; if !some_ml4file || !some_mlfile || !some_mlifile then begin print "OCAMLLIBS?="; print_list "\\\n " str_i; print "\n"; end; if !some_vfile || !some_mllibfile || !some_mlpackfile then begin - print "COQLIBS?="; print_list "\\\n " str_i'; print " "; print_list "\\\n " str_r; print "\n"; + print "COQLIBS?="; print_list "\\\n " str_i; print " "; print_list "\\\n " str_r; print "\n"; print "COQDOCLIBS?="; print_list "\\\n " str_r; print "\n\n"; end -- cgit v1.2.3