src/Pure/Admin/build_csdp.scala

 
 
   /* Isabelle tool wrapper */
 
   val isabelle_tool =
-    Isabelle_Tool("build_csdp", "build prover component from official download",
+    Isabelle_Tool("build_csdp", "build prover component from official download", Scala_Project.here,
     args =>
     {
       var target_dir = Path.current
       var mingw = MinGW.none
       var download_url = default_download_url