Test options

.gitlab/jobs.yaml

@@ -62,7 +62,9 @@
       "INSTALL_CONFIGURE_ARGS": "--enable-strict-ghc-toolchain-check",
       "RUNTEST_ARGS": "",
       "TEST_ENV": "x86_64-linux-deb12-cross_riscv64-linux-gnu-validate",
-      "XZ_OPT": "-9"
+      "XZ_OPT": "-9",
+      "HADRIAN_ARGS": "--docs=none",
+      "EXTRA_HC_OPTS": "-fexternal-interpreter"
     }
   },
   "x86_64-linux-deb12-cross_riscv64-linux-gnu-validate": {
@@ -126,7 +128,9 @@
       "CROSS_TARGET": "riscv64-linux-gnu",
       "INSTALL_CONFIGURE_ARGS": "--enable-strict-ghc-toolchain-check",
       "RUNTEST_ARGS": "",
-      "TEST_ENV": "x86_64-linux-deb12-cross_riscv64-linux-gnu-validate"
+      "TEST_ENV": "x86_64-linux-deb12-cross_riscv64-linux-gnu-validate",
+      "HADRIAN_ARGS": "--docs=none",
+      "EXTRA_HC_OPTS": "-fexternal-interpreter'
     }
   }
 }