From d2c9877d7241f13d5bf244009c97890fba375c50 Mon Sep 17 00:00:00 2001
From: Yuki Okushi <huyuumi.dev@gmail.com>
Date: Sat, 17 Oct 2020 10:42:33 +0900
Subject: [PATCH] Add `x86_64-unknown-redox` Dockerfile

---
 ci/docker/x86_64-unknown-redox/Dockerfile | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 ci/docker/x86_64-unknown-redox/Dockerfile

diff --git a/ci/docker/x86_64-unknown-redox/Dockerfile b/ci/docker/x86_64-unknown-redox/Dockerfile
new file mode 100644
index 00000000..91b0cbab
--- /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 ."
-- 
GitLab