Leaner tarball

diff --git a/dist.sh b/dist.sh
index 3508ccaadb96feb1fce7b222c571b6eea58c7003..f9cf035da634d81355853d447e902895279a4a63 100755 (executable)
--- a/dist.sh
+++ b/dist.sh
@@ -110,9 +110,4 @@ tar -xzf $TARBALL.gz
 cd $FOLDER   # Extracting from the tarball, just to make sure
 tests/test.sh
 make clean
-make speed
-make speed-sodium
-make speed-tweetnacl
-make speed-hydrogen
-make speed-c25519
 make

diff --git a/dist_ignore b/dist_ignore
index 00b77b58b52d08b121b052c53a812458701a68f5..3febe89c5043592cbe7fe6daa1e6eb4ba1ccceb3 100644 (file)
--- a/dist_ignore
+++ b/dist_ignore
@@ -23,6 +23,11 @@ tests/formal-analysis/*
 tests/formal-analysis
 *.tar.gz
 monocypher-*/
+**/__pycache__/**
+doc/*.*
+tests/proofs*
+tests/speed*
+tests/externals*
 lib*
 .git*
 dist.sh

diff --git a/tests/test.sh b/tests/test.sh
index 9ded91130ce2b1ddccb999ff64abd3a2c74b2558..5c36c534e1fd4e5568255dc0b78eae7b69ecd850 100755 (executable)
--- a/tests/test.sh
+++ b/tests/test.sh
@@ -63,5 +63,3 @@ make clean;  make test.out;  valgrind ./test.out
 echo
 echo "All sanitisers passed!"
 echo
-
-tests/proofs/test_carry.sh