Use newer dune

WardBrian · WardBrian · commit d64998836cc9 · 2025-11-14T15:12:35.000-05:00
diff --git a/.github/workflows/binaries.yml b/.github/workflows/binaries.yml
@@ -52,7 +52,6 @@ jobs:
         run: |
           opam repository add archive git+https://github.com/ocaml/opam-repository-archive
           opam update
-          opam pin -y dune 3.6.0 --no-action
 
       - run: bash -x scripts/install_build_deps.sh
 
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -115,7 +115,7 @@ pipeline {
     }
     environment {
         CXX = 'clang++-6.0'
-        MACOS_SWITCH = 'stanc3-4.14'
+        MACOS_SWITCH = 'stanc3-dune-updated'
         GIT_AUTHOR_NAME = 'Stan Jenkins'
         GIT_AUTHOR_EMAIL = 'mc.stanislaw@gmail.com'
         GIT_COMMITTER_NAME = 'Stan Jenkins'
@@ -645,7 +645,6 @@ pipeline {
                                             opam repository add archive git+https://github.com/ocaml/opam-repository-archive
                                             opam switch list
                                             opam update -y || true
-                                            opam pin -y dune 3.6.0 --no-action
                                             bash -x scripts/install_build_deps.sh
                                             dune subst
                                             dune build --root=. --profile=release
diff --git a/Jenkinsfile-test-binaries b/Jenkinsfile-test-binaries
@@ -45,7 +45,7 @@ pipeline {
         buildDiscarder(logRotator(numToKeepStr: '20', daysToKeepStr: '100', artifactDaysToKeepStr: '100'))
     }
     environment {
-        MACOS_SWITCH = 'stanc3-4.14'
+        MACOS_SWITCH = 'stanc3-dune-updated'
     }
     stages {
 
@@ -105,7 +105,6 @@ pipeline {
                                             opam repository add archive git+https://github.com/ocaml/opam-repository-archive
                                             opam switch list
                                             opam update -y || true
-                                            opam pin -y dune 3.6.0 --no-action
                                             bash -x scripts/install_build_deps.sh
                                             dune subst
                                             dune build --root=. --profile release
diff --git a/dune-project b/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.0)
+(lang dune 3.14)
 
 (using menhir 2.0)
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-(lang dune 3.0)`
	`1`	`+(lang dune 3.14)`
`2`	`2`
`3`	`3`	`(using menhir 2.0)`
`4`	`4`