mirage-project / mirage

A multi-level tensor algebra superoptimizer
Apache License 2.0
262 stars 16 forks source link

ImportError: libz3.so.4.13: cannot open shared object file: No such file or directory #17

Open gknagoing opened 1 month ago

gknagoing commented 1 month ago

I think the most likely reason is that my environment variables are not added correctly.

I get an error when I run the demo file: image But I added the path to environment variables.This is the content of the .bashrc file: image

Attached below are some of my other software version information:

archer@archer-Lenovo-Legion-Y7000P2021:~/Downloads/git-clone/mirage/demo$ nvidia-smi
Wed May 15 14:28:11 2024       
+---------------------------------------------------------------------------------------+
| NVIDIA-SMI 535.161.08             Driver Version: 535.161.08   CUDA Version: 12.2     |
|-----------------------------------------+----------------------+----------------------+
| GPU  Name                 Persistence-M | Bus-Id        Disp.A | Volatile Uncorr. ECC |
| Fan  Temp   Perf          Pwr:Usage/Cap |         Memory-Usage | GPU-Util  Compute M. |
|                                         |                      |               MIG M. |
|=========================================+======================+======================|
|   0  NVIDIA GeForce RTX 3050 ...    Off | 00000000:01:00.0  On |                  N/A |
| N/A   49C    P8               8W /  60W |     48MiB /  4096MiB |     15%      Default |
|                                         |                      |                  N/A |
+-----------------------------------------+----------------------+----------------------+

+---------------------------------------------------------------------------------------+
| Processes:                                                                            |
|  GPU   GI   CI        PID   Type   Process name                            GPU Memory |
|        ID   ID                                                             Usage      |
|=======================================================================================|
|    0   N/A  N/A      1843      G   /usr/lib/xorg/Xorg                           45MiB |
+---------------------------------------------------------------------------------------+
archer@archer-Lenovo-Legion-Y7000P2021:~/Downloads/git-clone/mirage/demo$ nvcc -V
nvcc: NVIDIA (R) Cuda compiler driver
Copyright (c) 2005-2023 NVIDIA Corporation
Built on Tue_Jul_11_02:20:44_PDT_2023
Cuda compilation tools, release 12.2, V12.2.128
Build cuda_12.2.r12.2/compiler.33053471_0
archer@archer-Lenovo-Legion-Y7000P2021:~/Downloads/git-clone/mirage/demo$ python3 --version
Python 3.10.12
archer@archer-Lenovo-Legion-Y7000P2021:~/Downloads/git-clone/mirage/demo$ sudo cat /usr/include/cudnn_version.h | grep CUDNN_MAJOR -A 2
#define CUDNN_MAJOR 9
#define CUDNN_MINOR 1
#define CUDNN_PATCHLEVEL 1
--
#define CUDNN_VERSION (CUDNN_MAJOR * 10000 + CUDNN_MINOR * 100 + CUDNN_PATCHLEVEL)

/* cannot use constexpr here since this is a C-only file */
archer@archer-Lenovo-Legion-Y7000P2021:~/Downloads/git-clone/mirage/demo$ cmake --version
cmake version 3.29.3

CMake suite maintained and supported by Kitware (kitware.com/cmake).
archer@archer-Lenovo-Legion-Y7000P2021:~/Downloads/git-clone/mirage/demo$ cython --version
Cython version 3.0.10
archer@archer-Lenovo-Legion-Y7000P2021:~/Downloads/git-clone/mirage/demo$ 

If you have any reply, I would be grateful.