Author Commit Message Labels Comments Date
Default avatar sylv...@polytechnique.org
Start small, update oasis.sh and _oasis of base/compare.
Default avatar sylv...@polytechnique.org
First step to oasis 0.3.
Default avatar ysulsky
merge
Default avatar ysulsky
build-and-install: fix getopt usage on BSD
Default avatar ysulsky
oasis.sh: remove setup.ml before patching it
ysulsky avatarysulsky
merge
ysulsky avatarysulsky
auto export
ysulsky avatarysulsky
build-common.sh: ignore whitespace when patching oasis files
ysulsky avatarysulsky
don't pass empty options to oasis.sh
ysulsky avatarysulsky
merge
ysulsky avatarysulsky
auto export
ysulsky avatarysulsky
include Typehash in typehashlib
Default avatar ysulsky
BSD fixes to the build-and-install script
Default avatar ysulsky
always build Unix.fdatasync (fall back on fsync)
Default avatar ysulsky
Comment out Pack: true in the async libs
Default avatar ysulsky
make Backtrace.get into a (unit -> string) Or_error.t and always compile it
Default avatar ysulsky
ignore the dummy ml files
Default avatar ysulsky
core: don't compile clock functions if POSIX_TIMERS isn't set
Default avatar ysulsky
core: typo in unix_stubs.c
Default avatar ysulsky
Add dummy modules because "ar" on Darwin chokes on empty input
Default avatar ysulsky
add support for packing in older versions of oasis
Default avatar ysulsky
only compile backtrace on x86_64
Default avatar ysulsky
fix usages of getconf
Yaron Minsky avatarYaron Minsky
Merged in bitbckt/ocaml-core (pull request #1)
Brandon Mitchell avatarBrandon Mitchell
Use /usr/bin/env bash in lieu of /bin/bash in scripts.
Branches
bash
ysulsky avatarysulsky
clean up the build scripts, don't depend on a patched oasis
ysulsky avatarysulsky
add a build-and-install script
ysulsky avatarysulsky
merge
ysulsky avatarysulsky
auto export
ysulsky avatarysulsky
merge
  1. Prev
  2. Next
Help
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.