Rename nalgebra/proptest to /proptest-support

This gives us some freedom in the future, in case we need
additional dependencies for the proptest integration.

.circleci/config.yml

@@ -57,7 +57,7 @@ jobs:
       - checkout
       - run:
           name: test
-          command: cargo test --features arbitrary --features serde-serialize --features abomonation-serialize --features sparse --features debug --features io --features compare --features libm --features proptest --features slow-tests
+          command: cargo test --features arbitrary --features serde-serialize --features abomonation-serialize --features sparse --features debug --features io --features compare --features libm --features proptest-support --features slow-tests
       - run:
           name: test nalgebra-glm
           command: cargo test -p nalgebra-glm  --features arbitrary --features serde-serialize --features abomonation-serialize --features sparse --features debug --features io --features compare --features libm --features slow-tests

Cargo.toml

@@ -33,6 +33,7 @@ io = [ "pest", "pest_derive" ]
 compare = [ "matrixcompare-core" ]
 libm = [ "simba/libm" ]
 libm-force = [ "simba/libm_force" ]
+proptest-support = [ "proptest" ]
 
 # This feature is only used for tests, and enables tests that require more time to run
 slow-tests = []
@@ -91,4 +92,4 @@ lto = true
 
 [package.metadata.docs.rs]
 # Enable certain features when building docs for docs.rs
-features = [ "proptest" ]
+features = [ "proptest-support", "compare" ]

src/lib.rs

@@ -127,7 +127,7 @@ pub mod geometry;
 #[cfg(feature = "io")]
 pub mod io;
 pub mod linalg;
-#[cfg(feature = "proptest")]
+#[cfg(feature = "proptest-support")]
 pub mod proptest;
 #[cfg(feature = "sparse")]
 pub mod sparse;

src/proptest/mod.rs

@@ -1,6 +1,6 @@
 //! `proptest`-related features for `nalgebra` data structures.
 //!
-//! **This module is only available when the `proptest` feature is enabled in `nalgebra`**.
+//! **This module is only available when the `proptest-support` feature is enabled in `nalgebra`**.
 //!
 //! `proptest` is a library for *property-based testing*. While similar to QuickCheck,
 //! which may be more familiar to some users, it has a more sophisticated design that

tests/lib.rs

@@ -20,7 +20,7 @@ mod core;
 mod geometry;
 mod linalg;
 
-#[cfg(feature = "proptest")]
+#[cfg(feature = "proptest-support")]
 mod proptest;
 
 //#[cfg(feature = "sparse")]