Organize projects

.gitignore

@@ -5,11 +5,12 @@ out
 .attach*
 *.log
 *.so
+*.dylib
 slinc/src/io/gitlab/mhammons/slinc/test.worksheet.sc
 *.bench
 .bsp
 .scala-build
 .DS_Store
 
-metals.sbt 
+metals.sbt
 target

build.sbt

@@ -33,26 +33,82 @@ inThisBuild(
   )
 )
 
-scalacOptions ++= Seq(
-  "-deprecation",
-  "-Wunused:all",
-  "-feature",
-  "-unchecked",
-  "-Xcheck-macros",
-  "-Xprint-suspension",
-  "-Xsemanticdb",
-  "-Yexplicit-nulls",
-  "-Ysafe-init",
-  "-source:future",
-  "-Ykind-projector",
-  "-Vprofile"
-)
+lazy val slinc = project
+  .in(file("slinc"))
+  .settings(
+    name := "slinc",
+    scalacOptions ++= Seq(
+      "-deprecation",
+      "-Wunused:all",
+      "-feature",
+      "-unchecked",
+      "-Xcheck-macros",
+      "-Xprint-suspension",
+      "-Xsemanticdb",
+      "-Yexplicit-nulls",
+      "-Ysafe-init",
+      "-source:future",
+      "-Ykind-projector",
+      "-Vprofile"
+    ),
+    libraryDependencies += "org.scalameta" %% "munit" % "1.0.0-M10" % Test,
+    libraryDependencies += "org.scalameta" %% "munit-scalacheck" % "1.0.0-M10" % Test,
+    libraryDependencies += "org.scala-lang" %% "scala3-staging" % scalaVersion.value,
+    Compile / doc / scalacOptions ++= Seq("-siteroot", "docs"),
+    mimaPreviousArtifacts := previousStableVersion.value
+      .map(organization.value %% moduleName.value % _)
+      .toSet
+  )
 
-libraryDependencies += "org.scalameta" %% "munit" % "1.0.0-M10" % Test
-libraryDependencies += "org.scalameta" %% "munit-scalacheck" % "1.0.0-M10" % Test
-libraryDependencies += "org.scala-lang" %% "scala3-staging" % scalaVersion.value
+lazy val copyNative = TaskKey[Set[File]]("copy shared lib")
 
-Compile / doc / scalacOptions ++= Seq("-siteroot", "docs")
-mimaPreviousArtifacts := previousStableVersion.value
-  .map(organization.value %% moduleName.value % _)
-  .toSet
+lazy val examples = project
+  .in(file("slinc-examples"))
+  .dependsOn(slinc)
+  .settings(
+    publishTo := None,
+    publishLocal := Def.task(()),
+    copyNative := {
+      val nativeSrc = (`examples-native` / Compile / nativeCompile).value
+      // rename shared lib name so that it complies with SlinC convention(`{lib name}_{arch}.{ext}`).
+      val destName = {
+        val arch =
+          (`examples-native` / nativePlatform).value.takeWhile(_ != '-')
+        val (base, ext) = nativeSrc.baseAndExt
+        s"${base}_${arch}.${ext}"
+      }
+      val nativeDest =
+        (Compile / resourceDirectory).value / "native" / destName
+      IO.copy(Seq(nativeSrc -> nativeDest))
+    },
+    Compile / resourceGenerators += Def.task {
+      copyNative.value.toSeq
+    }.taskValue,
+    run / fork := true,
+    javaOptions ++= Seq(
+      "--add-modules=jdk.incubator.foreign",
+      "--enable-native-access=ALL-UNNAMED"
+    ),
+    libraryDependencies += "fr.hammons" %% "slinc-runtime" % "0.6.0"
+  )
+  .dependsOn(`examples-native`)
+
+/*
+ * A project to build native shared library
+ */
+lazy val `examples-native` = project
+  .in(file("slinc-examples-native"))
+  .enablePlugins(JniNative)
+  .settings(
+    publishTo := None,
+    publishLocal := Def.task(()),
+    nativeCompile / sourceDirectory := sourceDirectory.value
+  )
+
+lazy val root = project
+  .in(file("."))
+  .aggregate(slinc, examples, `examples-native`)
+  .settings(
+    publishTo := None,
+    publishLocal := Def.task(())
+  )

project/plugins.sbt

@@ -3,3 +3,4 @@ addSbtPlugin("org.scoverage" % "sbt-scoverage" % "2.0.5")
 addSbtPlugin("com.github.sbt" % "sbt-ci-release" % "1.5.12")
 addSbtPlugin("ch.epfl.scala" % "sbt-tasty-mima" % "1.1.0")
 addSbtPlugin("com.typesafe" % "sbt-mima-plugin" % "1.1.3")
+addSbtPlugin("com.github.sbt" % "sbt-jni" % "1.6.0")

slinc-examples-native/src/CMakeLists.txt

@@ -0,0 +1,24 @@
+cmake_minimum_required(VERSION 3.1)
+
+option(SBT "Set if invoked from sbt-jni" OFF)
+
+project(add)
+
+set(PROJECT_VERSION_MAJOR 0)
+set(PROJECT_VERSION_MINOR 0)
+set(PROJECT_VERSION_PATCH 0)
+
+include_directories(.)
+include_directories(include)
+add_library(add MODULE add.c)
+
+# Sources
+file(GLOB LIB_SRC
+  "*.c"
+  "*.cc"
+  "*.cpp"
+)
+
+set (LIB_NAME ${PROJECT_NAME}${PROJECT_VERSION_MAJOR})
+add_library(${LIB_NAME} SHARED ${LIB_SRC})
+install(TARGETS ${LIB_NAME} LIBRARY DESTINATION .)

slinc-examples-native/src/add.c

@@ -0,0 +1,19 @@
+#include <stdlib.h>
+#include <string.h>
+#include <stdio.h>
+
+int add(int a,int b) {
+    return a + b;
+}
+
+int add_by_callback(int a, int (*f)(void)) {
+    int b = f();
+    return a + b;
+}
+
+char* add_str(char* a, char* b) {
+    int size = strlen(a) + strlen(b) + 1;
+    char *buf = malloc (size);
+    snprintf(buf, size, "%s%s", a, b);
+    return buf;
+}

slinc-examples/src/main/scala/fr/hammons/slinc/CallSharedLib.scala

@@ -0,0 +1,28 @@
+import fr.hammons.slinc.runtime.given
+import fr.hammons.slinc.types.*
+import fr.hammons.slinc.*
+
+import fr.hammons.slinc.annotations.NeedsResource
+
+@NeedsResource("libadd0")
+trait libadd derives FSet:
+  def add(a: CInt, b: CInt): CInt
+  def add_by_callback(a: CInt, f: Ptr[?]): CInt
+  def add_str(a: Ptr[Byte], f: Ptr[Byte]): Ptr[Byte]
+
+@main def run =
+  val libadd = FSet.instance[libadd]
+  assert(libadd.add(21, 21) == 42)
+
+  val callback = Scope.global:
+    Ptr.upcall(() => 21)
+  assert(libadd.add_by_callback(21, callback) == 42)
+
+  val (hello, world) = ("Hello", "World")
+  val (a, b) = Scope.global:
+    (Ptr.copy(hello), Ptr.copy(world))
+
+  val c = libadd.add_str(a, b)
+  val result =
+    Ptr.copyIntoString(c)(hello.getBytes().length + world.getBytes().length + 1)
+  assert(result == hello + world)

slinc-examples/src/main/scala/fr/hammons/slinc/CallStdLib.scala

@@ -0,0 +1,13 @@
+import fr.hammons.slinc.runtime.given
+import fr.hammons.slinc.types.*
+import fr.hammons.slinc.*
+
+case class div_t(quot: CInt, rem: CInt) derives Struct
+
+trait MyLib derives FSet:
+  def div(numer: CInt, denom: CInt): div_t
+val myLib = FSet.instance[MyLib]
+
+@main def calc =
+  val div_t(quot, rem) = myLib.div(5, 2)
+  assert((quot, rem) == (2, 1), s"Unexpected (quot, rem): ($quot, $rem)")