Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ocp-indent


Commits:
ecbe43d1 by Stephane Glondu at 2025-10-20T10:54:02+02:00
Fix autopkgtest

- - - - -
6b8145f0 by Stephane Glondu at 2025-10-20T10:54:17+02:00
Update changelog and prepare upload to unstable

- - - - -


3 changed files:

- debian/changelog
- debian/tests/control
- debian/tests/run-tests


Changes:

=====================================
debian/changelog
=====================================
@@ -1,3 +1,10 @@
+ocp-indent (1.9.0-2) unstable; urgency=medium
+
+  * Team upload
+  * Fix autopkgtest
+
+ -- Stéphane Glondu <[email protected]>  Mon, 20 Oct 2025 10:50:24 +0200
+
 ocp-indent (1.9.0-1) unstable; urgency=medium
 
   * Team upload


=====================================
debian/tests/control
=====================================
@@ -1,2 +1,4 @@
 Tests: run-tests
-Restrictions: allow-stderr
+Depends:
+ ocaml-dune,
+ @


=====================================
debian/tests/run-tests
=====================================
@@ -1,17 +1,15 @@
 #!/bin/sh
 
-set -exu
-
-curdir=$(pwd)
-
-# we fake the git command which is only used to figure out the toplevel
-# directory
-mkdir bin
-cat > bin/git << END
-#!/bin/sh
-
-echo $curdir
-END
-chmod +x bin/git
-
-PATH="$curdir/bin:$PATH" ./tests/test.sh --ocp-indent /usr/bin/ocp-indent
+set -eu
+
+outdir=${ADT_ARTIFACTS:-/tmp}/ocaml-dune-tests
+echo "* Using $outdir"
+mkdir -p ${outdir}
+cp -a .ocp-indent tests ${outdir}
+cd ${outdir}
+cat > dune-project <<EOF
+(lang dune 3.20)
+EOF
+find -name dune -print0 | xargs -0 sh -c 'for a in "$@"; do echo "(cram)" > 
$a; done' script
+echo "* Run tests"
+dune runtest



View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocp-indent/-/compare/d2b42a28ba3b5cbac65cc0fa664d6ed3bc27cb30...6b8145f0da1180471a4ba5adc7da9fbd500b9213

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocp-indent/-/compare/d2b42a28ba3b5cbac65cc0fa664d6ed3bc27cb30...6b8145f0da1180471a4ba5adc7da9fbd500b9213
You're receiving this email because of your account on salsa.debian.org.


Reply via email to