[Barrelfish-users] Idris runtime port to Barrelfish

[Joe M]

Hello,

I got a simple "Hello World" program in Idris to work on barrelfish.

The details are in these commits: https://github.com/joe9/barrelfish/commits/master

To get the build to work, I had to replace some functions with stubs (using select,
popen and _gettimeofday_r syscalls) to avoid the below error.

builds fail with the below errors
gcc -g -O2 ./x86_64/lib/crt0.o ./x86_64/lib/crtbegin.o -fno-builtin -nostdlib -Wl,-z,max-page-size=0x1000 -Wl,--build-id=none -m64 -o ./x86_64/sbin/idris_hello ./x86_64/usr/idris_hello/_for_app_idris_hello/idris_hello.o ./x86_64/usr/idris_hello/idris_rts/idris_main.o ./x86_64/lib/libmm.a ./x86_64/lib/libgetopt.a ./x86_64/lib/libtrace.a ./x86_64/lib/libelf.a ./x86_64/lib/libidris_rts.a ./x86_64/lib/libbarrelfish.a ./x86_64/lib/libterm_client.a ./x86_64/lib/liboctopus_parser.a ./x86_64/errors/errno.o ./x86_64/lib/libnewlib.a ./x86_64/lib/crtend.o ./x86_64/lib/libcollections.a
./x86_64/lib/libidris_rts.a(idris_stdfgn.o): In function `fpoll':
/home/j/dev/apps/barrelfish/barrelfish/build/../usr/idris_rts/idris_stdfgn.c:52:
undefined reference to `select'
./x86_64/lib/libidris_rts.a(idris_stdfgn.o): In function `do_popen':
/home/j/dev/apps/barrelfish/barrelfish/build/../usr/idris_rts/idris_stdfgn.c:57:
undefined reference to `popen'
./x86_64/lib/libnewlib.a(time.o): In function `time':
/home/j/dev/apps/barrelfish/barrelfish/build/../lib/newlib/newlib/libc/time/time.c:46:
undefined reference to `_gettimeofday_r'
collect2: error: ld returned 1 exit status
make: *** [x86_64/sbin/idris_hello] Error 1

Just wanted to check if anyone has any suggestions on how to fix the
above.

Thanks
Joe
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 819 bytes
Desc: Digital signature
Url : https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20141004/5322b18d/attachment.bin