Skip to content

Instantly share code, notes, and snippets.

@james-d-mitchell

james-d-mitchell/install-libsemigroups.sh

Created October 18, 2019 10:07
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save james-d-mitchell/5d2051720c09330554b6e9482ebc7851 to your computer and use it in GitHub Desktop.
Save james-d-mitchell/5d2051720c09330554b6e9482ebc7851 to your computer and use it in GitHub Desktop.
Download ZIP
Installation script for libsemigroups
Raw
install-libsemigroups.sh
#!/bin/bash
set -e
git clone https://github.com/libsemigroups/libsemigroups
cd libsemigroups/extern
curl -L -O https://github.com/fmtlib/fmt/releases/download/5.3.0/fmt-5.3.0.zip
tar -xzf fmt-5.3.0.zip && rm -f fmt-5.3.0.zip
curl -L -O https://github.com/hivert/HPCombi/archive/v0.0.3.zip
tar -xzf v0.0.3.zip && rm -f v0.0.3.zip && mv v0.0.3.zip HPCombi && cd ..
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment