Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
21 lines (16 sloc) 371 Bytes
language: minimal
sudo: false
addons:
apt:
packages:
- wget
- libgmp-dev
before_install:
# install Futhark
- wget http://futhark-lang.org/releases/futhark-nightly-linux-x86_64.tar.xz
- tar xf futhark-nightly-linux-x86_64.tar.xz
- (cd futhark-nightly-linux-x86_64/ && PREFIX=$HOME/.local make install)
install:
- true
script:
- futhark test -t .
You can’t perform that action at this time.