fix CI build

panglesd · panglesd · commit 4eae6650ecd8 · 2025-02-01T14:58:34.000+01:00
diff --git a/release/Dockerfile b/release/Dockerfile
@@ -8,5 +8,5 @@ RUN opam install -y --deps-only --with-test --with-doc .
 
 COPY --chown=opam . .
 
-RUN sed  -i 's/"()"/"(-cclib -static -cclib -no-pie)"/g' compiler/src/bin/static-linking-flags/static_linking_flags.ml
+RUN sed  -i 's/"()"/"(-cclib -static -cclib -no-pie)"/g' src/compiler/src/bin/static-linking-flags/static_linking_flags.ml
 

Original file line number	Diff line number	Diff line change
`@@ -8,5 +8,5 @@ RUN opam install -y --deps-only --with-test --with-doc .`
`8`	`8`
`9`	`9`	`COPY --chown=opam . .`
`10`	`10`
`11`		`-RUN sed -i 's/"()"/"(-cclib -static -cclib -no-pie)"/g' compiler/src/bin/static-linking-flags/static_linking_flags.ml`
	`11`	`+RUN sed -i 's/"()"/"(-cclib -static -cclib -no-pie)"/g' src/compiler/src/bin/static-linking-flags/static_linking_flags.ml`
`12`	`12`