git.iko.soy/Idris-dev
on 7afa310 help sign in
history ofrts/Makefile
all commits
cc9b104Add a prim__systemInfo primitive.niklas d16d418Update the windows RTS files and consolidate the headersniklas 380a874Split out Windows versions of some rts filesNiklas Larsson 5a1d646Added Network.SocketsEdwin Brady 23a28d5Fix .PHONY targets in MakefilesAndy Morris fcfbfaaMake GMP optional (default off)Edwin Brady 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 runtimeHannes Mehnert b23ac6eSupport for FreeBSDHannes Mehnert 029da07Take into account that GMP operations can move dataEdwin Brady c7cf1f0Refactored the build inside Setup.hs and the various Makefiles.Gabe McArthur 58bb8e0Take CFLAGS from environment in MakefilesBenjamin Saunders cf9d50fRemove dynamically loaded RTS due to 32/64-bit issues on OS XDavid Christiansen ff0fbfaForce gcc to use the same architecture as ghc on Mac OS XDavid Christiansen f1ea2e4Build fat RTS lib on OS XDavid Christiansen 27e3c69Use just-built dynamic RTS during library typecheckDavid Christiansen f8fcd92Build RTS as shared libraryDavid Christiansen 6f8ee96A bit more detailed rts stats.Sam T 1df7d15add basic rts optionsSam T 9631f80detach heap from vm structSam T 7518b0cAbsolutely untested implementations of a few bitstring primitives.Irene Knapp 7245290Some tiny RTS optimisationsEdwin Brady 3bfe418Refactor the makefile so that all the pertinent variables are in config.mkJason Dagit 314246bMake getArgs work with new backendEdwin Brady 847ee50Set -O2 in rtsEdwin Brady 0433650Added some useful standard foreign functions for IOEdwin Brady 0af107cAdded GMP interface for BigIntsEdwin Brady 3009319Added a simple copying GCEdwin Brady b70780frename rts include fileEdwin Brady ffc7b69First baby steps towards a new RTS (and towards removing epic dependency)Edwin Brady