mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-06-28 09:15:47 +02:00
Next try for libtorch-ffi dependencies (#8039).
This commit is contained in:
parent
aa97d8c006
commit
87e76e946d
@ -21,4 +21,4 @@ COPY docker/04-cleanup.sh /tmp/04-cleanup.sh
|
||||
RUN /tmp/04-cleanup.sh && rm /tmp/04-cleanup.sh
|
||||
|
||||
# Include file path
|
||||
ENV CPATH /usr/lib/jvm/java-8-openjdk-amd64/include:/usr/lib/jvm/java-8-openjdk-amd64/include/linux:/usr/lib/llvm-3.7/include
|
||||
ENV CPATH /usr/lib/jvm/java-8-openjdk-amd64/include:/usr/lib/jvm/java-8-openjdk-amd64/include/linux:/usr/lib/llvm-3.7/include:/usr/local/libtorch/include
|
||||
|
||||
@ -70,3 +70,4 @@ Z3_VER=4.13.4
|
||||
curl -OL https://download.pytorch.org/libtorch/cpu/libtorch-shared-with-deps-$LIBTORCH_VERSION%2Bcpu.zip
|
||||
unzip libtorch-shared-with-deps-$LIBTORCH_VERSION%2Bcpu.zip -d /usr/local/
|
||||
rm libtorch-shared-with-deps-$LIBTORCH_VERSION%2Bcpu.zip
|
||||
mv /usr/local/libtorch/lib/lib* /usr/lib/
|
||||
|
||||
Loading…
Reference in New Issue
Block a user