Docker build fail cause by workspace dependency

[KAIYOHUGO]

Docker build fail because current Dockerfile only copy member folder.

TODO List

• [ ] Fix judger
• [ ] Fix backend
• [ ] Move more member dependency to workspace dependency

[Eason0729]

I attempted to fix it(untested) by copying Cargo.toml(cp ../Cargo.toml ws-Cargo.toml) to use it in Dockerfile, which look like this:

WORKDIR /complier/proto
COPY backend.proto .
COPY judger.proto .

WORKDIR /compiler
COPY ws-Cargo.toml Cargo.toml

WORKDIR /complier/backend
COPY . .

I committed it directly in master as there is no breaking change.

Also, I just forget to add cp ../Cargo.toml ws-Cargo.toml in backend/justfile.

[Eason0729]

docker build -f /path/to/Dockerfile /path/to/context/folder

can be a nice solution

[KAIYOHUGO]

Ok, I will fix this, but I mentioned this solution a long time ago.

[KAIYOHUGO]

I think it has been fix in fc5636b