Name		Name	Last commit message	Last commit date
parent directory ..
git-hooks		git-hooks
release		release
.gitignore		.gitignore
README.md		README.md
bench-compilers.py		bench-compilers.py
benchmark-performance-plot.py		benchmark-performance-plot.py
cmp-bench-json.py		cmp-bench-json.py
commit-impact.py		commit-impact.py
compare-compiler-versions.sh		compare-compiler-versions.sh
data2png.py		data2png.py
futcolor		futcolor
futhark.lang		futhark.lang
generate-module-list.sh		generate-module-list.sh
oclgrindrunner.sh		oclgrindrunner.sh
png2data.py		png2data.py
remove-from-bench-json.py		remove-from-bench-json.py
run-formatter.sh		run-formatter.sh
style-check.sh		style-check.sh

README.md

Futhark tools

To install the Futhark syntax highlighter for GtkSourceView (e.g. used by Gedit), copy futhark.lang and place it in the following directory:

~/.local/share/gtksourceview-3.0/language-specs/

Restart Gedit and open a *.fut-file.