// Standard C++ <ctime> header
// Copyright (C) Florian Negele

// This file is part of the Eigen Compiler Suite.

// The ECS is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// The ECS is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// Under Section 7 of the GNU General Public License version 3,
// the copyright holder grants you additional permissions to use
// this file as described in the ECS Runtime Support Exception.

// You should have received a copy of the GNU General Public License
// and a copy of the ECS Runtime Support Exception along with
// the ECS.  If not, see <https://www.gnu.org/licenses/>.

#ifndef ECS_CPP_CTIME_HEADER_INCLUDED
#define ECS_CPP_CTIME_HEADER_INCLUDED

#define CLOCKS_PER_SEC 1000
#define NULL nullptr

namespace std
{
	using clock_t = unsigned long;
	using size_t = decltype (sizeof 0);
	using time_t = unsigned long;

	extern "C" auto clock [[ecs::pure]] () -> clock_t;
	extern "C" auto time (time_t*) -> time_t;
}

#endif // ECS_CPP_CTIME_HEADER_INCLUDED
