Disable debug symbols in pynn-brainscales & hxtorch

packages/hxtorch/package.py

@@ -162,7 +162,7 @@ class Hxtorch(WafPackage):
         args = ['--prefix={0}'.format(self.prefix)]
         args += self.configure_args()
 
-        self.waf('configure', *args)
+        self.waf('configure', '--build-profile=release', *args)
 
     def build_args(self):
         args = ['--keep', '--test-execnone', '-v']

packages/pynn-brainscales/package.py

@@ -127,7 +127,7 @@ class PynnBrainscales(WafPackage):
         args = ['--prefix={0}'.format(self.prefix)]
         args += self.configure_args()
 
-        self.waf('configure', *args)
+        self.waf('configure', '--build-profile=release', *args)
 
     def build_args(self):
         args = ['--keep', '--test-execnone', '-v']