Clean up archive

.gitattributes

@@ -10,6 +10,9 @@
 
 /bench/encoding/ export-ignore
 /examples/in_progress/ export-ignore
+/examples/multiprecision/random/ export-ignore
+/examples/multiprecision/bench-include/ export-ignore
+/examples/multiprecision/mini-gmp/ export-ignore
 /misc/ export-ignore
 /opam/ export-ignore
 /tests/ export-ignore

drivers/c.drv

@@ -252,7 +252,6 @@ module mach.int.UInt64GMP
   prelude
 
 "
-#include \"config.h\"
 #include \"gmp.h\"
 #include \"gmp-impl.h\"
 #include \"longlong.h\"
@@ -372,7 +371,6 @@ struct __lsld64_result lsld64(uint64_t x, uint64_t cnt)
 
   interface
 "
-#include \"config.h\"
 #include \"gmp.h\"
 #include \"gmp-impl.h\"
 #include \"longlong.h\"

examples/multiprecision/Makefile

@@ -29,13 +29,13 @@ extract: why3 dir cfiles
 CFILES = build/uint64gmp.c build/div.c build/logical.c build/mul.c build/sub.c build/add.c build/compare.c build/util.c  build/int32.c
 
 tests: extract check-gmp
-	gcc -O2 -Wall -Wno-unused-function -g -std=gnu99 tests.c $(CFILES) -I$(GMP_DIR) -L$(GMP_LIB) -fomit-frame-pointer -mtune=haswell -march=haswell -fno-tree-vectorize -lgmp -o build/tests
-	gcc -O2 -Wall -Wno-unused-function -g -std=gnu99 -DCOMPARE_MINI tests.c $(CFILES) -I$(GMP_DIR) -fomit-frame-pointer -mtune=haswell -march=haswell -fno-tree-vectorize -o build/minitests
+	gcc -O2 -Wall -Wno-unused-function -g -std=gnu99 tests.c $(CFILES) -I$(GMP_DIR) -Irandom -L$(GMP_LIB) -fomit-frame-pointer -mtune=haswell -march=haswell -fno-tree-vectorize -lgmp -o build/tests
+	gcc -O2 -Wall -Wno-unused-function -g -std=gnu99 -DCOMPARE_MINI tests.c $(CFILES) -I$(GMP_DIR) -Irandom -Imini-gmp -fomit-frame-pointer -mtune=haswell -march=haswell -fno-tree-vectorize -o build/minitests
 	./build/tests
 	./build/minitests
 
 bench-tests: extract
-	gcc -O2 -Wall -g -std=gnu99 tests.c $(CFILES) -Ibench-include -fomit-frame-pointer -fno-tree-vectorize -lgmp -o build/bench-tests
+	gcc -O2 -Wall -g -std=gnu99 tests.c $(CFILES) -Ibench-include -Irandom -fomit-frame-pointer -fno-tree-vectorize -lgmp -o build/bench-tests
 
 
 build/why3%bench: extract check-gmp