-custom "coqc -image ../tactics/coqalgebra.out -I .. -I ../tactics QArith.v" QArith.v QArith.vo
-custom "coqc -image ../tactics/coqalgebra.out -I .. -I ../tactics Q_CField.v" Q_CField.v Q_CField.vo
-custom "coqc -image ../tactics/coqalgebra.out -I .. -I ../tactics Q_COrdField.v" Q_COrdField.v Q_COrdField.vo
-custom "coqc -image ../tactics/coqalgebra.out -I .. -I ../tactics R_CField.v" R_CField.v R_CField.vo
-custom "coqc -image ../tactics/coqalgebra.out -I .. -I ../tactics R_COrdField.v" R_COrdField.v R_COrdField.vo
-custom "coqc -image ../tactics/coqalgebra.out -I .. -I ../tactics R_CReals.v" R_CReals.v R_CReals.vo
-custom "coqc -image ../tactics/coqalgebra.out -I .. -I ../tactics R_CSemi_grp.v" R_CSemi_grp.v R_CSemi_grp.vo
-custom "coqc -image ../tactics/coqalgebra.out -I .. -I ../tactics R_mul_CSemi_grp.v" R_mul_CSemi_grp.v R_mul_CSemi_grp.vo
-custom "coqc -image ../tactics/coqalgebra.out -I .. -I ../tactics ZQ_CRings.v" ZQ_CRings.v ZQ_CRings.vo
