why does `make` using _CoqProject in coqide differ from `coqc` on the commandline?
问题 I have two short files: cc_test is given by Lemma cc: 4 = 4. Proof. auto. Qed. and libtest is given by Require Import cc_test. Check cc. When I execute coqc -R . ClosureLib -top ClosureLib cc_test in directory "/home/barry/svn/Coq/Closure_Calculus" and coqc -R "/home/barry/svn/Coq/Closure_Calculus" ClosureLib libtest in its directory, I get the expected output cc: 4 = 4 However, when the arguments to coqc above (from -R to the end) are placed in _CoqProject files, and I call Make makefile and