git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
dcdebfc
help
sign in
history of
config.mk
all commits
d6b1930
* Use cc as C compiler, instead of hardcoding gcc. * Do not use -isystem (not needed, and breaks building the runtime with clang) * Make clang happier when building the runtime
Hannes Mehnert
13 years ago
b23ac6e
Support for FreeBSD
Hannes Mehnert
13 years ago
58bb8e0
Take CFLAGS from environment in Makefiles
Benjamin Saunders
13 years ago
c5d5884
Remove Java RTS build in favor of the version hosted on Maven Central
Jan Bessai
13 years ago
ecd9ead
Merge remote-tracking branch 'upstream/master' into providers
David Christiansen
14 years ago
1f2e714
OS detection in config.mk without using uname
David Christiansen
14 years ago
f8fcd92
Build RTS as shared library
David Christiansen
14 years ago
6440a7b
Repaired effects library, less attacks in applyTactic
Jan Bessai
14 years ago
b68a1a7
Flag to disable effects
Jan Bessai
14 years ago
42fc6d2
Make no java default compilation method
Edwin Brady
14 years ago
c9d32af
Change NoJava flag to Java, and make no java back end the default
Edwin Brady
14 years ago
1b46872
Added compile flag support to deactivate creation of the java backend
Jan Bessai
14 years ago
3bfe418
Refactor the makefile so that all the pertinent variables are in config.mk
Jason Dagit
14 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list