From 5a980b58cb37ea4bcda6f2815de45dbc13a98044 Mon Sep 17 00:00:00 2001 From: Joe Groff Date: Fri, 7 May 2010 18:03:30 -0700 Subject: [PATCH] remove cuda.constants; it's better to get those values from device-properties --- extra/cuda/constants/constants.factor | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 extra/cuda/constants/constants.factor diff --git a/extra/cuda/constants/constants.factor b/extra/cuda/constants/constants.factor deleted file mode 100644 index d66cabe444..0000000000 --- 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