]> Savannah Git Hosting - gnulib/maint-tools.git/commitdiff
platforms: Correct mistake in test-environments.txt.
authorBruno Haible <bruno@clisp.org>
Sun, 17 Dec 2023 20:11:34 +0000 (21:11 +0100)
committerBruno Haible <bruno@clisp.org>
Sun, 17 Dec 2023 20:11:34 +0000 (21:11 +0100)
platforms/test-environments.txt

index 0eacc5fd90487cac87c47708a04ea5ac4044dd03..a8c70aee553091311f1faa1d24f8fad6955725a2 100644 (file)
@@ -51,54 +51,11 @@ How to do this:
 7. Install whatever packages you will need for development (gcc, g++,
    make, vim, emacs).
 
-Specific, detailed instructions for QEMU are in
-environments/qemu-environments.txt.
-
 As examples, find in the environments/ directory:
-  * qemu/alpha-linux-debian5.txt
-  * qemu/alpha-linux-debian12.txt
-  * qemu/alpha-linux-t2sde.txt
-  * qemu/arm-freebsd12.txt
-  * qemu/arm-raspbian.txt
-  * qemu/armel-linux-debian8.txt
-  * qemu/armelhf-linux-debian12.txt
-  * qemu/arm64-linux-debian12.txt
-  * qemu/arm64-linux-opensuse-a.txt
-  * qemu/arm64-linux-opensuse-b.txt
-  * qemu/arm64-alpine-3.13.txt
-  * qemu/arm64-alpine-3.19.txt
-  * qemu/arm64-freebsd132.txt
-  * qemu/hppa-linux-debian12.txt
-  * qemu/hppa-linux-t2sde.txt
-  * qemu/m68k-linux-debian12.txt
-  * qemu/m68k-linux-t2sde.txt
-  * qemu/mipseb-linux-debian8.txt
-  * qemu/mipsel-linux-debian12.txt
-  * qemu/mipsel-linux-debian8.txt
-  * qemu/mips64eb-linux-debian8.txt
-  * qemu/mips64el-linux-debian8.txt
-  * qemu/powerpc-linux-debian12.txt
-  * qemu/powerpc-linux-t2sde.txt
-  * qemu/powerpc64-linux-debian12.txt
-  * qemu/ppc64le-linux-debian12.txt
-  * qemu/ppc64le-linux-opensuse-kde.txt
-  * qemu/ppc64le-linux-opensuse.txt
-  * qemu/ppc64le-alpine.txt
-  * qemu/riscv64-linux-fedora28.txt
-  * qemu/s390x-linux-debian8.txt
-  * qemu/s390x-linux-opensuse.txt
-  * qemu/s390x-alpine.txt
-  * qemu/sparc-netbsd.txt
-  * qemu/sparc64-linux-debian9.txt
-  * qemu/sparc64-linux-t2sde.txt
-  * qemu/sparc64-freebsd12.txt
-  * qemu/sparc64-netbsd.txt
   * qemu/x86_64-openbsd73.txt: How to install OpenBSD 7.3 with QEMU.
   * virtualbox/openbsd73.txt: How to install OpenBSD 7.3 with VirtualBox.
 
 Download locations:
-  * GNU/Linux and Linux:
-    See linux-install-media.txt.
   * GNU/Hurd:
     https://cdimage.debian.org/cdimage/ports/12.0/hurd-i386/iso-cd/
   * GNU/kFreeBSD:
@@ -184,8 +141,52 @@ The how-to is similar to above:
 7. Install whatever packages you will need for development (gcc, g++,
    make, vim, emacs).
 
-As examples, look at the recipes from GNU libffcall:
-<https://git.savannah.gnu.org/gitweb/?p=libffcall.git;a=tree;f=porting-tools/emulation>
+Specific, detailed instructions for QEMU are in
+environments/qemu-environments.txt.
+
+As examples, find in the environments/ directory:
+  * qemu/alpha-linux-debian5.txt
+  * qemu/alpha-linux-debian12.txt
+  * qemu/alpha-linux-t2sde.txt
+  * qemu/arm-freebsd12.txt
+  * qemu/arm-raspbian.txt
+  * qemu/armel-linux-debian8.txt
+  * qemu/armelhf-linux-debian12.txt
+  * qemu/arm64-linux-debian12.txt
+  * qemu/arm64-linux-opensuse-a.txt
+  * qemu/arm64-linux-opensuse-b.txt
+  * qemu/arm64-alpine-3.13.txt
+  * qemu/arm64-alpine-3.19.txt
+  * qemu/arm64-freebsd132.txt
+  * qemu/hppa-linux-debian12.txt
+  * qemu/hppa-linux-t2sde.txt
+  * qemu/m68k-linux-debian12.txt
+  * qemu/m68k-linux-t2sde.txt
+  * qemu/mipseb-linux-debian8.txt
+  * qemu/mipsel-linux-debian12.txt
+  * qemu/mipsel-linux-debian8.txt
+  * qemu/mips64eb-linux-debian8.txt
+  * qemu/mips64el-linux-debian8.txt
+  * qemu/powerpc-linux-debian12.txt
+  * qemu/powerpc-linux-t2sde.txt
+  * qemu/powerpc64-linux-debian12.txt
+  * qemu/ppc64le-linux-debian12.txt
+  * qemu/ppc64le-linux-opensuse-kde.txt
+  * qemu/ppc64le-linux-opensuse.txt
+  * qemu/ppc64le-alpine.txt
+  * qemu/riscv64-linux-fedora28.txt
+  * qemu/s390x-linux-debian8.txt
+  * qemu/s390x-linux-opensuse.txt
+  * qemu/s390x-alpine.txt
+  * qemu/sparc-netbsd.txt
+  * qemu/sparc64-linux-debian9.txt
+  * qemu/sparc64-linux-t2sde.txt
+  * qemu/sparc64-freebsd12.txt
+  * qemu/sparc64-netbsd.txt
+
+Download locations:
+  * GNU/Linux and Linux:
+    See linux-install-media.txt.
 
 QEMU in "user mode" is not recommended in general, because it has limitations:
   - Catching stack overflow is not supported.