Copying is probably a dirty hack

Author: oleks

Makefile

@@ -16,8 +16,6 @@ gdb-%.bin: %.bin Makefile
 	gdb -q -x run.gdb $<
 
 test:
-	mkdir -p ebin/
-	cp binary16.c binary16.h ebin/
 	erl -make
 
 clean:

tests/test_msb_ndx.erl

@@ -3,7 +3,9 @@
 -compile(export_all).
 
 prop_zero() ->
-    ?SETUP(fun () -> eqc_c:start(binary16),
+    ?SETUP(fun () -> eqc_c:start(binary16, [
+                        {c_src, "../binary16.c"},
+                        {additional_files, "../binary16.h"}]),
                      fun() -> ok end
            end,
            equals(0, binary16:msb_ndx(0))).