summaryrefslogtreecommitdiff
path: root/ci/docker
diff options
context:
space:
mode:
authorYuki Okushi <huyuumi.dev@gmail.com>2020-10-17 10:42:33 +0900
committerYuki Okushi <huyuumi.dev@gmail.com>2020-10-17 10:42:33 +0900
commitd2c9877d7241f13d5bf244009c97890fba375c50 (patch)
tree3a79f030d0ff68192e07b455cb2bd3e32b7615ee /ci/docker
parent0062f2b95e6c4a1b5a094f56dfa91df04d1669dc (diff)
downloadrust-libc-d2c9877d7241f13d5bf244009c97890fba375c50.tar.gz
Add `x86_64-unknown-redox` Dockerfile
Diffstat (limited to 'ci/docker')
-rw-r--r--ci/docker/x86_64-unknown-redox/Dockerfile9
1 files changed, 9 insertions, 0 deletions
diff --git a/ci/docker/x86_64-unknown-redox/Dockerfile b/ci/docker/x86_64-unknown-redox/Dockerfile
new file mode 100644
index 0000000000..91b0cbabdc
--- /dev/null
+++ b/ci/docker/x86_64-unknown-redox/Dockerfile
@@ -0,0 +1,9 @@
+FROM redoxos/redoxer
+
+RUN mv /root/.redoxer /.redoxer
+
+ENV PATH=$PATH:/.redoxer/toolchain/bin:/rust/bin \
+ AR_x86_64_unknown_redox="x86_64-unknown-redox-ar" \
+ CC_x86_64_unknown_redox="x86_64-unknown-redox-gcc" \
+ CARGO_TARGET_X86_64_UNKNOWN_REDOX_LINKER="x86_64-unknown-redox-gcc" \
+ CARGO_TARGET_X86_64_UNKNOWN_REDOX_RUNNER="redoxer exec --folder ."