Skip to content
Idris LLVM codegen factored out
Branch: master
Clone or download
Latest commit 13565a3 Jul 28, 2017
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
src
test Tweaks Jul 23, 2017
.gitignore
.travis.yml Add testing facilities using travis Sep 19, 2014
LICENSE Add LICENSE and Setup.hs Aug 26, 2014
Makefile
README.md
Setup.hs
config.mk
idris-llvm.cabal

README.md

idris-llvm

This is a LLVM backend for Idris.

Installing

Idris-llvm uses llvm-hs to bind to LLVM, it requires that a recent LLVM (at the moment LLVM 4.0) is installed in a location that GHC knows about. Required C libraries are the Boehm GC (it could be called "libgc" or "gc") and GMP.

If the prerequisites are met cabal install should be sufficient to build and install idris-llvm.

Usage

There needs to be a clang executable available to build the programs. gcc will not work as the input files to clang are LLVM files.

How to build an executable:

idris myprog.idr --codegen llvm -o myprog
You can’t perform that action at this time.