docker

docker-compose.yml

@@ -0,0 +1,52 @@
+networks:
+  v6d:
+    external: true
+
+volumes:
+  radn-rs: {}
+  book-monads: {}
+  book-radn: {}
+
+services:
+  radn-rs-dev:
+    container_name: radn-rs-dev
+    build: radn-rs
+    volumes:
+      - radn-rs:/code/
+    networks:
+      v6d: {}
+    tty: true
+    stop_signal: SIGINT
+  radn-rs-dd:
+    container_name: radn-rs-dd
+    build:
+      context: radn-rs
+      dockerfile: Dockerfile.Docs
+    volumes:
+      - radn-rs:/code/:ro
+    networks:
+      v6d: {}
+  book-monads:
+    container_name: book-monads
+    build:
+      context: radn-rs
+      dockerfile: Dockerfile.Book.Monads
+    volumes:
+      - radn-rs:/code/:ro
+      - book-monads:/data/book/:rw
+    networks:
+      v6d: {}
+    tty: true
+    stop_signal: SIGINT
+  book-radn:
+    container_name: book-radn
+    build:
+      context: radn-rs
+      dockerfile: Dockerfile.Book.RADN
+    volumes:
+      - radn-rs:/code/:ro
+      - book-radn:/data/book/:rw
+    networks:
+      v6d: {}
+    tty: true
+    stop_signal: SIGINT

radn-rs/Dockerfile

@@ -0,0 +1,8 @@
+FROM rust:1.69
+
+RUN cargo install cargo-watch
+RUN rustup component add rustfmt
+RUN rustup component add clippy
+RUN cargo install mdbook
+
+WORKDIR /code/

radn-rs/Dockerfile.Book.Monads

@@ -0,0 +1,7 @@
+FROM rust:1.69
+
+RUN cargo install mdbook
+
+WORKDIR /code/radn-rs/book-monads/
+
+CMD [ "mdbook", "serve", "--dest-dir", "/data/book/", "--port", "80", "--hostname", "0.0.0.0" ]

radn-rs/Dockerfile.Book.RADN

@@ -0,0 +1,7 @@
+FROM rust:1.69
+
+RUN cargo install mdbook
+
+WORKDIR /code/radn-rs/book-radn/
+
+CMD [ "mdbook", "serve", "--dest-dir", "/data/book/", "--port", "80", "--hostname", "0.0.0.0" ]

radn-rs/Dockerfile.Docs

@@ -0,0 +1,7 @@
+FROM node:19
+
+RUN npm install -g http-server
+
+WORKDIR /code/radn-rs/target/doc/
+
+CMD [ "http-server", "-p", "80" ]