Build target for VST-independent parts?

[JasonGross]

I'm interested in using the results about floating point matrix multiplication, but don't need to connect to any C code. Would it make sense to have some fragment of the project with an associated build target which warns less? (I'm also trying to get enough mathcomp packages installed...)

*** Warning: in file accuracy_proofs/gem_defs.v, library VST.floyd.functional_base is required and has not been found in the loadpath!
*** Warning: in file accuracy_proofs/mv_mathcomp.v, library VST.floyd.functional_base is required and has not been found in the loadpath!
*** Warning: in file accuracy_proofs/mv_mathcomp.v, library Rstruct is required from root mathcomp.analysis and has not been found in the loadpath!
*** Warning: in file accuracy_proofs/mv_mathcomp.v, library ring is required from root mathcomp.algebra_tactics and has not been found in the loadpath!
*** Warning: in file accuracy_proofs/mc_extra2.v, library finmap is required from root mathcomp and has not been found in the loadpath!
*** Warning: in file accuracy_proofs/gemv_acc.v, library Rstruct is required from root mathcomp.analysis and has not been found in the loadpath!
*** Warning: in file accuracy_proofs/gemv_acc.v, library ring is required from root mathcomp.algebra_tactics and has not been found in the loadpath!
*** Warning: in file accuracy_proofs/vec_op_acc.v, library Rstruct is required from root mathcomp.analysis and has not been found in the loadpath!
*** Warning: in file accuracy_proofs/gemm_acc.v, library Rstruct is required from root mathcomp.analysis and has not been found in the loadpath!
*** Warning: in file floatlib.v, library VST.floyd.proofauto is required and has not been found in the loadpath!
*** Warning: in file C/sparse_model.v, library VST.floyd.proofauto is required and has not been found in the loadpath!
*** Warning: in file C/sparse_model.v, library VSTlib.spec_math is required and has not been found in the loadpath!
*** Warning: in file C/spec_sparse.v, library VST.floyd.proofauto is required and has not been found in the loadpath!
*** Warning: in file C/spec_sparse.v, library VSTlib.spec_math is required and has not been found in the loadpath!
*** Warning: in file C/verif_sparse.v, library VST.floyd.proofauto is required and has not been found in the loadpath!
*** Warning: in file C/verif_sparse.v, library VSTlib.spec_math is required and has not been found in the loadpath!
*** Warning: in file C/verif_sparse_byrows.v, library VST.floyd.proofauto is required and has not been found in the loadpath!
*** Warning: in file C/verif_sparse_byrows.v, library VSTlib.spec_math is required and has not been found in the loadpath!
*** Warning: in file C/VSU_sparse.v, library VST.floyd.proofauto is required and has not been found in the loadpath!
*** Warning: in file C/VSU_sparse.v, library VST.floyd.VSU is required and has not been found in the loadpath!
*** Warning: in file C/VSU_sparse.v, library VSTlib.spec_math is required and has not been found in the loadpath!