drake
1.0.0
|
00001 /* 00002 Copyright 2015 Nicolas Melot 00003 00004 This file is part of Drake. 00005 00006 Drake is free software: you can redistribute it and/or modify 00007 it under the terms of the GNU General Public License as published by 00008 the Free Software Foundation, either version 3 of the License, or 00009 (at your option) any later version. 00010 00011 Drake is distributed in the hope that it will be useful, 00012 but WITHOUT ANY WARRANTY; without even the implied warranty of 00013 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00014 GNU General Public License for more details. 00015 00016 You should have received a copy of the GNU General Public License 00017 along with Drake. If not, see <http://www.gnu.org/licenses/>. 00018 00019 */ 00020 00021 00022 #include <drake/platform.h> 00023 00024 #ifndef DRAKE_EVAL 00025 #define DRAKE_EVAL 00026 00028 typedef struct args 00029 { 00030 size_t argc; 00031 char **argv; 00032 } args_t; 00033 00034 // pthread *hates* when a pointer is named "kill". 00036 drake_time_t *init, *start, *run, *killed; 00037 size_t *core; 00038 00040 int *execute; 00041 00042 #endif