Changeset 9c760f3 in git
- Timestamp:
- Feb 22, 2018, 3:18:05 PM (6 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 793bd8aaa8d3060fadd2ab564afbac6dd25b6fab
- Parents:
- af2d8112aeb4f1e25aef8fd2a91bb268da446347
- Location:
- Singular
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/misc_ip.cc
raf2d81 r9c760f3 74 74 75 75 #ifdef HAVE_NTL 76 #include <NTL/version.h>77 #include <NTL/tools.h>76 #include <NTL/version.h> 77 #include <NTL/tools.h> 78 78 #ifdef NTL_CLIENT 79 79 NTL_CLIENT -
Singular/tesths.cc
raf2d81 r9c760f3 36 36 37 37 #include <unistd.h> 38 #ifdef HAVE_NTL 39 #include <NTL/config.h> 40 #endif 38 41 39 42 … … 67 70 siInit(argv[0]); 68 71 init_signals(); 72 #ifdef HAVE_NTL 73 #if NTL_MAJOR_VERSION>=10 74 #ifdef NTL_THREAD_BOOST 75 SetNumThreads(feOptValue(FE_OPT_CPUS)); 76 #endif 77 #endif 78 #endif 69 79 70 80 // parse command line options
Note: See TracChangeset
for help on using the changeset viewer.