remove cuda.constants; it's better to get those values from device-properties

diff --git a/extra/cuda/constants/constants.factor b/extra/cuda/constants/constants.factor
deleted file mode 100644 (file)
index d66cabe..0000000
--- a/extra/cuda/constants/constants.factor
+++ /dev/null
@@ -1,4 +0,0 @@
-IN: cuda.constants
-
-CONSTANT: cuda-shared-size 16384
-CONSTANT: cuda-warp-size 32