From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Mon, 20 Feb 2023 00:17:38 +0000 (+0100)
Subject: Leaner tarball
X-Git-Url: https://git.codecow.com/?a=commitdiff_plain;h=807d6f74e7a8ffba5a6cb86614d126b9cf7d7af2;p=Monocypher.git

Leaner tarball
---

diff --git a/dist.sh b/dist.sh
index 3508cca..f9cf035 100755
--- 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 00b77b5..3febe89 100644
--- 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 9ded911..5c36c53 100755
--- 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