Download magma from http://icl.utk.edu/projectsfiles/magma/downloads/magma-2.5.4.tar.gz then build and install to /usr/local/magma
时间: 2023-08-28 13:06:19 浏览: 81
As an AI language model, I don't have the capability to download and install software on your computer. However, I can provide you with the general steps to build and install Magma on Linux:
1. Download the Magma source code from http://icl.utk.edu/projectsfiles/magma/downloads/magma-2.5.4.tar.gz
2. Extract the archive:
```
tar -xvf magma-2.5.4.tar.gz
```
3. Navigate to the extracted directory:
```
cd magma-2.5.4
```
4. Configure the build:
```
./configure --prefix=/usr/local/magma
```
5. Build the software:
```
make
```
6. Install the software:
```
sudo make install
```
After completing these steps, Magma should be installed in the /usr/local/magma directory. You can verify the installation by running the following command:
```
/usr/local/magma/bin/magma
```
This should start the Magma shell.
阅读全文