+* Set at least F="" for targets:
+ test-si-fast test1 test2-opt test2-byte profile-fast profile profile-opt profile-byte
+
+* Set at least F="TRACE" for targets:
+ test3 test6
+
+* Set at least F="SUMMARY PREPROCESS" for targets:
+ test-si
+
+* Set at least F="OBJECTS QUOTE" for targets:
+ xml-si xml-si-v3 xml xml-v3
+
+* Set at least F="MANAGER QUOTE" for targets:
+ export-coq export-matita export-lp1 export-lp2 export-tj2 export-tj3 export-cc0 export-lyp