Merge pull request #277 from DFiantHDL/vivado_build

Docs versions and WSL->Windows execution prevention

Author: soronpo

docs/getting-started/hello-world/scala-project/project.scala

@@ -1,4 +1,4 @@
 //> using scala 3.7.1
-//> using dep io.github.dfianthdl::dfhdl::0.11.0
-//> using plugin io.github.dfianthdl:::dfhdl-plugin:0.11.0
+//> using dep io.github.dfianthdl::dfhdl::0.12.0
+//> using plugin io.github.dfianthdl:::dfhdl-plugin:0.12.0
 //> using option -deprecation -language:implicitConversions

docs/getting-started/hello-world/scala-single-file/Counter8.scala

@@ -1,6 +1,6 @@
 //> using scala 3.7.1
-//> using dep io.github.dfianthdl::dfhdl::0.11.0
-//> using plugin io.github.dfianthdl:::dfhdl-plugin:0.11.0
+//> using dep io.github.dfianthdl::dfhdl::0.12.0
+//> using plugin io.github.dfianthdl:::dfhdl-plugin:0.12.0
 //> using option -deprecation -language:implicitConversions
 
 import dfhdl.* //import all the DFHDL goodness

docs/javascripts/scastie.js

@@ -1,4 +1,4 @@
-let dfhdlVersion = "0.11.0";
+let dfhdlVersion = "0.12.0";
 let scalaVersion = "3.7.1";
 
 let sbtConfig = `

docs/requirements.txt

@@ -1,7 +1,7 @@
-pygments==2.19.1
+pygments==2.19.2
 mkdocs==1.6.1
-mkdocs-material==9.6.14
-pymdown-extensions==10.15
+mkdocs-material==9.6.15
+pymdown-extensions==10.16
 mkdocs-redirects==1.2.2
 mkdocs-glightbox==0.4.0
 mkdocs-autorefs==1.4.2

internals/src/main/scala/dfhdl/internals/helpers.scala

@@ -86,7 +86,7 @@ extension (using quotes: Quotes)(lhs: quotes.reflect.TypeRepr)
         case '[head *: tail] =>
           recur(TypeRepr.of[tail], TypeRepr.of[head] :: args)
         case '[EmptyTuple] => args.reverse
-        case '[t] =>
+        case '[t]          =>
           report.errorAndAbort(s"Expecting a tuple, but found ${Type.show[t]}")
     if (lhs.show == "null")
       report.errorAndAbort(s"Expecting a tuple, but found null")
@@ -332,7 +332,7 @@ extension [T](seq: Iterable[T])
         f: T => P,
         res: List[(P, Iterable[T])]
     ): Seq[(P, Iterable[T])] = seq.headOption match
-      case None => res.reverse
+      case None    => res.reverse
       case Some(h) =>
         val key = f(h)
         val subseq = seq.takeWhile(f(_) equals key)
@@ -460,7 +460,32 @@ object AnnotatedWith:
   end annotWithMacro
 end AnnotatedWith
 
-def osIsWindows: Boolean = sys.props("os.name").toLowerCase.contains("windows")
+lazy val osIsWindows: Boolean = sys.props("os.name").toLowerCase.contains("windows")
+lazy val osIsLinux: Boolean = sys.props("os.name").toLowerCase.contains("linux")
+lazy val osIsWSL: Boolean =
+  if (osIsLinux)
+    import scala.io.Source
+    try
+      val procVersion = Source.fromFile("/proc/version").getLines().mkString
+      procVersion.contains("microsoft-standard")
+    catch
+      case _: Exception => false
+  else false
+// checks if the program is accessible to the current shell
+def programIsAccessible(cmd: String): Boolean =
+  import sys.process.*
+  try
+    if (osIsWindows)
+      s"where $cmd".!!.nonEmpty
+    else
+      val result = s"which $cmd".!!.trim()
+      // reject windows programs running from WSL
+      if (result.nonEmpty && osIsWSL)
+        !result.matches("""/mnt/[a-zA-Z]/.*""")
+      else
+        result.nonEmpty
+  catch
+    case _: Exception => false
 
 // trait CompiletimeErrorPos[M <: String, S <: Int, E <: Int]
 // object CompiletimeErrorPos:

lib/src/main/scala/dfhdl/tools/toolsCore/Tool.scala

@@ -31,10 +31,12 @@ trait Tool:
   protected[dfhdl] def cleanUpBeforeFileRestore()(using MemberGetSet, CompilerOptions): Unit = {}
 
   private[dfhdl] lazy val installedVersion: Option[String] =
-    val getVersionFullCmd =
-      Process(s"$runExec $versionCmd", new java.io.File(System.getProperty("java.io.tmpdir")))
-    try extractVersion(getVersionFullCmd.!!)
-    catch case e: Exception => None
+    if (!programIsAccessible(runExec)) None
+    else
+      val getVersionFullCmd =
+        Process(s"$runExec $versionCmd", new java.io.File(System.getProperty("java.io.tmpdir")))
+      try extractVersion(getVersionFullCmd.!!)
+      catch case e: Exception => None
   final def isAvailable: Boolean = installedVersion.nonEmpty
   protected def getInstalledVersion(using to: ToolOptions): String =
     preCheck()