/* 
 * Copyright 2018 Amazon.com, Inc. or its affiliates. All Rights Reserved.
 * 
 * Licensed under the Apache License, Version 2.0 (the "License"). You may not use
 * this file except in compliance with the License. A copy of the License is
 * located at
 * 
 *     http://aws.amazon.com/apache2.0/
 * 
 * or in the "license" file accompanying this file. This file is distributed on an
 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
 * implied. See the License for the specific language governing permissions and
 * limitations under the License.
 */ 
#ifndef AWS_CRYPTOSDK_PRIVATE_CONFIG_H
#define AWS_CRYPTOSDK_PRIVATE_CONFIG_H 1

#cmakedefine AWS_CRYPTOSDK_P_HAVE_LIBPTHREAD
#cmakedefine AWS_CRYPTOSDK_P_HAVE_LIBRT
#cmakedefine AWS_CRYPTOSDK_P_HAVE_BUILTIN_EXPECT

// At cmake configure time we look for the current git revision; if found and
// not on a tag, we'll add the git revision to the version strings
#cmakedefine AWS_CRYPTOSDK_PRIVATE_GITVERSION "@AWS_CRYPTOSDK_PRIVATE_GITVERSION@"

#ifndef AWS_CRYPTOSDK_PRIVATE_GITVERSION
#    define AWS_CRYPTOSDK_PRIVATE_GITVERSION ""
#endif

#ifdef __CPROVER__

// Disable all compiler, and go to bare C
#undef AWS_CRYPTOSDK_P_HAVE_BUILTIN_EXPECT

#endif

#endif