Rename flatzinc targets (#3270)
* rename fz.exe to fzn-ortools.exe (like convention outhere) * rename libflatzinc.so as libortools_flatzinc.so * rename parser-main to fzn-parser_test * remove parser_main from install
This commit is contained in:
committed by
Corentin Le Molgat
parent
9021ffbb95
commit
8fc5d66389
@@ -40,6 +40,6 @@ RUN make detect \
|
||||
FROM third_party AS build
|
||||
RUN make compile JOBS=8
|
||||
|
||||
RUN ln -s /root/or-tools/bin/fz /entry_data/fzn-exec
|
||||
RUN ln -s /root/or-tools/bin/fzn-ortools /entry_data/fzn-exec
|
||||
|
||||
RUN cp /root/or-tools/ortools/flatzinc/mznlib/*mzn /entry_data/mzn-lib
|
||||
|
||||
Reference in New Issue
Block a user