Added previously ignored config file, and added exception to gitignore.

This commit is contained in:
Christian Paquin 2018-01-12 10:02:03 -05:00
parent 0b285e0ae0
commit ee401c80cb
2 changed files with 19 additions and 0 deletions

2
.gitignore vendored
View File

@ -76,6 +76,7 @@ compile
config.guess
config.h
config.h.in
!src/sig_picnic/external/config.h.in
config.log
config.status
config.sub
@ -97,3 +98,4 @@ stamp-h1
#params
sample_params
data/

17
src/sig_picnic/external/config.h.in vendored Normal file
View File

@ -0,0 +1,17 @@
#ifndef PICNIC_CONFIG_H
#define PICNIC_CONFIG_H
/* from cmake checks */
#cmakedefine HAVE_SYS_AUXV_H
#cmakedefine HAVE_ASM_HWCAP_H
#cmakedefine HAVE_SYS_RANDOM_H
#cmakedefine HAVE_ALIGNED_ALLOC
#cmakedefine HAVE_POSIX_MEMALIGN
#cmakedefine HAVE_MEMALIGN
#cmakedefine HAVE_GETRANDOM
#cmakedefine HAVE_SECURITY_FRAMEWORK
#endif