mirror of
https://github.com/ellmau/adf-obdd.git
synced 2025-12-18 09:19:38 +01:00
c9278cf5ce
* Introduce separate server package * Implement basic visualization of solve response * Make fetch endpoint depend on environment * Introduce features flag for localhost cors support * Serve static files from './assets' directory * Add Dockerfile as example for server with frontend * Support multiple solving strategies * Support stable model semantics with nogoods * Introduce custom node type for nicer layout * Support more options and multiple models * Use standard example for adfs on the frontend * Use unoptimised hybrid step for better presentation * Upgrade frontend dependencies * Animate graph changes * Experiment with timeout on API endpoints * Relax CORS restrictions for local development * Add API for adding/deleting users; login; logout * Add API for uploading and solving adf problems * Add API for getting and updating user * Return early for parse and solve; Add Adf GET * Add Delete and Index endpoints for ADFs * Add basic UI for user endpoints * Enforce username and password to be set on login * Show colored snackbars * Allow file upload for ADF; fix some server bugs * Implement ADF Add Form and Overview * Add Detail View for ADF problems * Add docker-compose file for mongodb (development) * Add mongodb (DEV) data directory to dockerignore * Let unknown routes be handled by frontend * Add legal information page to frontend * Change G6 Graph layout slightly * Add missing doc comments to lib * Update legal information regarding cookies * Add project logos to frontend * Add help texts to frontend * Move DoubleLabeledGraph from lib to server * Give example for custom Adf datastructure in docs * Update README and Project Website * Update devskim.yml * Add READMEs for frontend and server --------- Co-authored-by: monsterkrampe <monsterkrampe@users.noreply.github.com>
37 lines
628 B
Docker
37 lines
628 B
Docker
# 1. BUILD-CONTAINER: Frontend
|
|
FROM node:hydrogen-alpine
|
|
|
|
WORKDIR /root
|
|
|
|
COPY ./frontend /root
|
|
|
|
RUN yarn && yarn build
|
|
|
|
# 2. BUILD-CONTAINER: Server
|
|
FROM rust:alpine
|
|
|
|
WORKDIR /root
|
|
|
|
RUN apk add --no-cache musl-dev
|
|
|
|
COPY ./bin /root/bin
|
|
COPY ./lib /root/lib
|
|
COPY ./server /root/server
|
|
COPY ./Cargo.toml /root/Cargo.toml
|
|
COPY ./Cargo.lock /root/Cargo.lock
|
|
|
|
RUN cargo build --workspace --release
|
|
|
|
# 3. RUNTIME-CONTAINER: run server with frontend as assets
|
|
FROM alpine:latest
|
|
|
|
WORKDIR /root
|
|
|
|
COPY --from=0 /root/dist /root/assets
|
|
COPY --from=1 /root/target/release/adf-bdd-server /root/server
|
|
|
|
EXPOSE 8080
|
|
|
|
ENTRYPOINT ["./server"]
|
|
|