Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions .gitattributes
Original file line number Diff line number Diff line change
Expand Up @@ -3,3 +3,5 @@
*.t linguist-vendored
*.asl linguist-vendored
dune.generated linguist-generated
mill linguist-generated
mill.bat linguist-generated
11 changes: 5 additions & 6 deletions .github/workflows/test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -103,15 +103,14 @@ jobs:
- uses: cachix/install-nix-action@v25
- run: echo 'preparing nix shell environment'

- uses: coursier/cache-action@v6
- uses: coursier/setup-action@v1
- uses: actions/setup-java@v4
with:
jvm: adoptium:1.17
apps: mill
distribution: 'temurin'
java-version: '17'

- run: dune build --profile release
- run: mkdir -p offlineASL-scala/lifter/src/generated
- run: echo ':gen A64 .* scala true offlineASL-scala/lifter/src/generated' | OCAMLRUNPARAM=b dune exec asli

- run: 'cd offlineASL-scala && mill lifter.assembly'
- run: 'cd offlineASL-scala && mill main.run --help'
- run: 'cd offlineASL-scala && ./mill lifter.assembly'
- run: 'cd offlineASL-scala && ./mill main.run --help'
42 changes: 42 additions & 0 deletions offlineASL-scala/build.mill
Original file line number Diff line number Diff line change
@@ -0,0 +1,42 @@
//| mill-version: 1.0.0-RC3-31-eb2d11-jvm
//| mvnDeps: ["com.lihaoyi::mill-contrib-artifactory:$MILL_VERSION"]

// vim: ts=2 sts=2 et sw=2 ft=scala
package build
import mill._, scalalib._, publish._

import mill.contrib.artifactory.ArtifactoryPublishModule

object lifter extends ScalaModule with ArtifactoryPublishModule {
override def scalaVersion = "3.3.4"

override def artifactoryUri = "https://maven.pkg.github.com/UQ-PAC/aslp"
override def artifactorySnapshotUri: String = artifactoryUri

override def publishVersion = "0.1.0"

override def docSources = Seq[PathRef]()

override def pomSettings = PomSettings(
description = "ASLp Offline Scala Lifter",
organization = "io.github.uq-pac",
url = "https://github.com/UQ-PAC/aslp",
licenses = Seq(License.`BSD-3-Clause`),
versionControl = VersionControl.github("UQ-PAC", "aslp"),
developers = Seq(Developer("uqpac", "UQ PAC", "https://github.com/UQ-PAC"))
)
}

object main extends ScalaModule {
override def scalaVersion = "3.3.4"

override def moduleDeps = Seq(lifter)

override def mvnDeps = Seq(
mvn"com.lihaoyi::mainargs:0.6.2",
mvn"com.lihaoyi::sourcecode:0.3.0"
)

override def mainClass = Some("main.Main")
}

23 changes: 0 additions & 23 deletions offlineASL-scala/build.sc

This file was deleted.

Loading