diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-02 12:03:44 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-02 12:03:44 +0100 |
commit | dc25573ed79a0d55c5a24b20474aa8504a758a2c (patch) | |
tree | 894a85209cb933b89b3d0fdb9c2320b43412424e /test/monniaux/BearSSL/conf/Win.mk | |
parent | 44b2d04414b13811868a134f1eae9eaece506b69 (diff) | |
download | compcert-kvx-dc25573ed79a0d55c5a24b20474aa8504a758a2c.tar.gz compcert-kvx-dc25573ed79a0d55c5a24b20474aa8504a758a2c.zip |
BearSSL
Diffstat (limited to 'test/monniaux/BearSSL/conf/Win.mk')
-rw-r--r-- | test/monniaux/BearSSL/conf/Win.mk | 70 |
1 files changed, 70 insertions, 0 deletions
diff --git a/test/monniaux/BearSSL/conf/Win.mk b/test/monniaux/BearSSL/conf/Win.mk new file mode 100644 index 00000000..2ed4bb68 --- /dev/null +++ b/test/monniaux/BearSSL/conf/Win.mk @@ -0,0 +1,70 @@ +# Configuration for a native build on a Windows system with Visual Studio. + +# Build directory. +BUILD = build + +# Extension for executable files. +E = .exe + +# Extension for object files. +O = .obj + +# Prefix for static library file name. +LP = + +# Extension for static library file name. We add an 's' so that the +# name is distinct from the 'import library' generated along with the DLL. +L = s.lib + +# Prefix for DLL file name. +DP = + +# Extension for DLL file name. +D = .dll + +# Output file names can be overridden directly. By default, they are +# assembled using the prefix/extension macros defined above. +# BEARSSLLIB = bearssls.lib +# BEARSSLDLL = bearssl.dll +# BRSSL = brssl.exe +# TESTCRYPTO = testcrypto.exe +# TESTSPEED = testspeed.exe +# TESTX509 = testx509.exe + +# File deletion tool. +RM = del /Q + +# Directory creation tool. +MKDIR = mkdir + +# C compiler and flags. +CC = cl +CFLAGS = -nologo -W2 -O2 +CCOUT = -c -Fo + +# Static library building tool. +AR = lib +ARFLAGS = -nologo +AROUT = -out: + +# DLL building tool. +LDDLL = cl +LDDLLFLAGS = -nologo -LD -MT +LDDLLOUT = -Fe + +# Static linker. +LD = cl +LDFLAGS = -nologo +LDOUT = -Fe + +# C# compiler. +MKT0COMP = mk$PmkT0.cmd +RUNT0COMP = T0Comp.exe + +# Set the values to 'no' to disable building of the corresponding element +# by default. Building can still be invoked with an explicit target call +# (e.g. 'make dll' to force build the DLL). +#STATICLIB = no +#DLL = no +#TOOLS = no +#TESTS = no |