Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jan 30, 2017

• Fix the build on MSYS2 (Windows) when MSYSTEM=MINGW{32,64}

  RyanGlScott

  committed
  eeb5e87

  Copy full SHA for eeb5e87

Commits on Jul 27, 2016

• Hook the new test infrastructure to cabal

  Show description for 5186d6c
  yacinehmito

  committed
  5186d6c

  Copy full SHA for 5186d6c

Commits on Mar 19, 2016

• Remove dead code in build system

  Show description for af1c9d2
  enolan

  committed
  af1c9d2

  Copy full SHA for af1c9d2

• Set C compiler properly on Windows

  enolan

  committed
  b232e3c

  Copy full SHA for b232e3c

Commits on Jan 10, 2016

• Refactor - use else if in config.mk

  enolan

  committed
  17cb074

  Copy full SHA for 17cb074

Commits on Sep 21, 2015

• Fix build with clang on Windows

  melted

  committed
  a706247

  Copy full SHA for a706247

Commits on May 21, 2015

• Add AR and RANLIB envs for exherbo multiarch.

  christopherschwaab

  committed
  2b0224a

  Copy full SHA for 2b0224a

• Remove -msse2 flag which breaks the build on non-x86 machines (consider -march=native?).

  christopherschwaab

  committed
  548b533

  Copy full SHA for 548b533

Commits on Jan 2, 2015

• add msse2, fixes idris-lang#1819

  

  Heather

  committed
  16d7ec0

  Copy full SHA for 16d7ec0

Commits on Sep 26, 2014

• Add -DIDRIS_ENABLE_STATS to CodegenC. Add missing #ifdef IDRIS_ENABLED_STATS in rts/idris_gc.c.

  stepcut

  committed
  035e15b

  Copy full SHA for 035e15b

Commits on Jul 16, 2014

• Set IDRIS_ENABLE_STATS in config.mk instead of in idris_stats.h. stats are not supported on Arduino. Also make sure that when IDRIS_ENABLE_STATS is not set, the idris_stats.h does not pull in time.…

  Show description for 17c887a
  stepcut

  committed
  17c887a

  Copy full SHA for 17c887a

Commits on Jun 9, 2014

• Merge https://github.com/idris-lang/Idris-dev

  stepcut

  committed
  31b2346

  Copy full SHA for 31b2346

Commits on May 1, 2014

• Don't set CC if it has already been set

  Show description for fd586f0
  melted

  committed
  fd586f0

  Copy full SHA for fd586f0

Commits on Mar 10, 2014

• fixups for HAS_PTHREAD changes

  stepcut

  committed
  035d0a9

  Copy full SHA for 035d0a9

Commits on Mar 8, 2014

• modify RTS so that it can be built single-threaded if pthreads are not available.

  stepcut

  committed
  c399b55

  Copy full SHA for c399b55

Commits on Nov 19, 2013

• * Use cc as C compiler, instead of hardcoding gcc.

  Show description for d6b1930
  hannesm

  committed
  d6b1930

  Copy full SHA for d6b1930

• Support for FreeBSD

  Show description for b23ac6e
  hannesm

  committed
  b23ac6e

  Copy full SHA for b23ac6e

Commits on Aug 1, 2013

• Take CFLAGS from environment in Makefiles

  Ralith

  committed
  58bb8e0

  Copy full SHA for 58bb8e0

Commits on Jul 16, 2013

• Remove Java RTS build in favor of the version hosted on Maven Central

  JanBessai

  committed
  c5d5884

  Copy full SHA for c5d5884

Commits on Apr 5, 2013

• Merge remote-tracking branch 'upstream/master' into providers

  Show description for ecd9ead
  david-christiansen

  committed
  ecd9ead

  Copy full SHA for ecd9ead

Commits on Apr 4, 2013

• OS detection in config.mk without using uname

  Show description for 1f2e714
  david-christiansen

  committed
  1f2e714

  Copy full SHA for 1f2e714

Commits on Apr 1, 2013

• Build RTS as shared library

  Show description for f8fcd92
  david-christiansen

  committed
  f8fcd92

  Copy full SHA for f8fcd92

Commits on Mar 24, 2013

• Repaired effects library, less attacks in applyTactic

  JanBessai

  committed
  6440a7b

  Copy full SHA for 6440a7b

• Flag to disable effects

  JanBessai

  committed
  b68a1a7

  Copy full SHA for b68a1a7

Commits on Mar 17, 2013

• Make no java default compilation method

  edwinb

  committed
  42fc6d2

  Copy full SHA for 42fc6d2

• Change NoJava flag to Java, and make no java back end the default

  edwinb

  committed
  c9d32af

  Copy full SHA for c9d32af

Commits on Mar 13, 2013

• Added compile flag support to deactivate creation of the java backend

  JanBessai

  committed
  1b46872

  Copy full SHA for 1b46872

Commits on Oct 29, 2012

• Refactor the makefile so that all the pertinent variables are in config.mk

  dagit

  committed
  3bfe418

  Copy full SHA for 3bfe418

Loading