Simon, I am not able of reproducing your problems. See the files here

https://docs.google.com/folder/d/0B2brKGbNKZYDY0hiMXUyUy1aMUk/edit

and how I build and run them

bash-3.2$ cd build/ship-test/
bash-3.2$ ls
cffi-test ffi-test
bash-3.2$ (cd cffi-test; ls -l; make && ./test_exe)
total 11904
-rw-r--r--@ 1 jjgarcia  staff      837 Aug 24 15:27 build.lisp
-rw-r--r--@ 1 jjgarcia  staff       62 Aug 18 06:40 cffi-test-package.lisp
-rw-r--r--@ 1 jjgarcia  staff      208 Aug 17 19:07 cffi-test.asd
-rw-r--r--@ 1 jjgarcia  staff      779 Aug 24 15:24 cffi-test.lisp
-rw-r--r--@ 1 jjgarcia  staff      649 Aug 24 15:32 main.c
-rw-r--r--@ 1 jjgarcia  staff      248 Aug 24 15:31 makefile
gcc -I/Users/jjgarcia/include main.c libcffi-test-mono.a -o test_exe
-L/Users/jjgarcia/lib -lecl

0.8414709848078965d0
0.8414709848078965d0 (cffi-test:c-sine 1.0) => 0.841471
(cffi-test:ff-c-sine 1.0) => 0.841471
bash-3.2$ (cd ffi-test; ls -l; make && ./test_exe)
total 192
-rw-r--r--@ 1 jjgarcia  staff    248 Aug 24 15:27 build.lisp
-rw-r--r--@ 1 jjgarcia  staff     51 Aug 17 18:29 ffi-test-package.lisp
-rw-r--r--@ 1 jjgarcia  staff    187 Aug 17 18:33 ffi-test.asd
-rw-r--r--@ 1 jjgarcia  staff    213 Aug 24 15:24 ffi-test.lisp
-rw-r--r--@ 1 jjgarcia  staff    610 Aug 24 15:30 main.c
-rw-r--r--@ 1 jjgarcia  staff    209 Aug 24 15:29 makefile
gcc -I/Users/jjgarcia/include main.c libffi-test-mono.a -o test_exe
-L/Users/jjgarcia/lib -lecl

0.8414709848078965d0
0.8414709848078965d0 (ffi-test:c-sine 1.0) => 0.841471


-- 
Instituto de FĂ­sica Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://juanjose.garciaripoll.googlepages.com
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and 
threat landscape has changed and how IT managers can respond. Discussions 
will include endpoint security, mobile security and the latest in malware 
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
Ecls-list mailing list
Ecls-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ecls-list

Reply via email to