Home

Jump to bottom

Ashish Gehani edited this page Dec 15, 2015 · 1 revision

Specializing coreutils

On Linux, get GNU Core Utilities and uncompress the code:

> wget http://ftp.gnu.org/gnu/coreutils/coreutils-8.24.tar.xz
> unxz coreutils-8.24.tar.xz

Use WLLVM to build Core Utilities:

> mkdir build
> cd build
> CC=wllvm ../configure
> CC=wllvm make

As an example, to specialize 'ls' to use a fixed directory '/bin':

> extract-bc ls
> cp ls.bc $OCCAM_SRC/examples/linux/ls/
> cd $OCCAM_SRC/examples/linux/ls/
> make