# Top-level Makefile for Python

#

# As distributed, this file is called Makefile.pre.in; it is processed

# into the real Makefile by running the script ./configure, which

# replaces things like @spam@ with values appropriate for your system.

# This means that if you edit Makefile, your changes get lost the next

# time you run the configure script. Ideally, you can do:

#

# ./configure

# make

# make test

# make install

#

# If you have a previous version of Python installed that you don't

# want to overwrite, you can use "make altinstall" instead of "make

# install". Refer to the "Installing" section in the README file for

# additional details.

#

# See also the section "Build instructions" in the README file.

# === Variables set by makesetup ===

MODBUILT_NAMES= _MODBUILT_NAMES_

MODSHARED_NAMES= _MODSHARED_NAMES_

MODDISABLED_NAMES= _MODDISABLED_NAMES_

MODOBJS= _MODOBJS_

MODLIBS= _MODLIBS_

# === Variables set by configure

VERSION= @VERSION@

srcdir= @srcdir@

VPATH= @srcdir@

abs_srcdir= @abs_srcdir@

abs_builddir= @abs_builddir@

CC= @CC@

CXX= @CXX@

LINKCC= @LINKCC@

AR= @AR@

READELF= @READELF@

SOABI= @SOABI@

LDVERSION= @LDVERSION@

LIBPYTHON= @LIBPYTHON@

GITVERSION= @GITVERSION@

GITTAG= @GITTAG@

GITBRANCH= @GITBRANCH@

PGO_PROF_GEN_FLAG=@PGO_PROF_GEN_FLAG@

PGO_PROF_USE_FLAG=@PGO_PROF_USE_FLAG@

LLVM_PROF_MERGER=@LLVM_PROF_MERGER@

LLVM_PROF_FILE=@LLVM_PROF_FILE@

LLVM_PROF_ERR=@LLVM_PROF_ERR@

DTRACE= @DTRACE@

DFLAGS= @DFLAGS@

DTRACE_HEADERS= @DTRACE_HEADERS@

DTRACE_OBJS= @DTRACE_OBJS@

DSYMUTIL= @DSYMUTIL@

DSYMUTIL_PATH= @DSYMUTIL_PATH@

GNULD= @GNULD@

# Shell used by make (some versions default to the login shell, which is bad)

SHELL= /bin/sh -e

# Use this to make a link between python$(VERSION) and python in $(BINDIR)

LN= @LN@

# Portable install script (configure doesn't always guess right)

INSTALL= @INSTALL@

INSTALL_PROGRAM=@INSTALL_PROGRAM@

INSTALL_SCRIPT= @INSTALL_SCRIPT@

INSTALL_DATA= @INSTALL_DATA@

# Shared libraries must be installed with executable mode on some systems;

# rather than figuring out exactly which, we always give them executable mode.

INSTALL_SHARED= ${INSTALL} -m 755

MKDIR_P= @MKDIR_P@

MAKESETUP= $(srcdir)/Modules/makesetup

# Compiler options

OPT= @OPT@

BASECFLAGS= @BASECFLAGS@

BASECPPFLAGS= @BASECPPFLAGS@

CONFIGURE_CFLAGS= @CFLAGS@

# CFLAGS_NODIST is used for building the interpreter and stdlib C extensions.

# Use it when a compiler flag should _not_ be part of the distutils CFLAGS

# once Python is installed (Issue #21121).

CONFIGURE_CFLAGS_NODIST=@CFLAGS_NODIST@

# LDFLAGS_NODIST is used in the same manner as CFLAGS_NODIST.

# Use it when a linker flag should _not_ be part of the distutils LDFLAGS

# once Python is installed (bpo-35257)

CONFIGURE_LDFLAGS_NODIST=@LDFLAGS_NODIST@

# LDFLAGS_NOLTO is an extra flag to disable lto. It is used to speed up building

# of _bootstrap_python and _freeze_module tools, which don't need LTO.

CONFIGURE_LDFLAGS_NOLTO=@LDFLAGS_NOLTO@

CONFIGURE_CPPFLAGS= @CPPFLAGS@

CONFIGURE_LDFLAGS= @LDFLAGS@

# Avoid assigning CFLAGS, LDFLAGS, etc. so users can use them on the

# command line to append to these values without stomping the pre-set

# values.

PY_CFLAGS= $(BASECFLAGS) $(OPT) $(CONFIGURE_CFLAGS) $(CFLAGS) $(EXTRA_CFLAGS)

PY_CFLAGS_NODIST=$(CONFIGURE_CFLAGS_NODIST) $(CFLAGS_NODIST) -I$(srcdir)/Include/internal -I$(srcdir)/Include/internal/mimalloc

# Both CPPFLAGS and LDFLAGS need to contain the shell's value for setup.py to

# be able to build extension modules using the directories specified in the

# environment variables

PY_CPPFLAGS= $(BASECPPFLAGS) -I. -I$(srcdir)/Include $(CONFIGURE_CPPFLAGS) $(CPPFLAGS)

PY_LDFLAGS= $(CONFIGURE_LDFLAGS) $(LDFLAGS)

PY_LDFLAGS_NODIST=$(CONFIGURE_LDFLAGS_NODIST) $(LDFLAGS_NODIST)

PY_LDFLAGS_NOLTO=$(PY_LDFLAGS) $(CONFIGURE_LDFLAGS_NOLTO) $(LDFLAGS_NODIST)

NO_AS_NEEDED= @NO_AS_NEEDED@

CCSHARED= @CCSHARED@

# LINKFORSHARED are the flags passed to the $(CC) command that links

# the python executable -- this is only needed for a few systems

LINKFORSHARED= @LINKFORSHARED@

ARFLAGS= @ARFLAGS@

# Extra C flags added for building the interpreter object files.

CFLAGSFORSHARED=@CFLAGSFORSHARED@

# C flags used for building the interpreter object files

PY_STDMODULE_CFLAGS= $(PY_CFLAGS) $(PY_CFLAGS_NODIST) $(PY_CPPFLAGS) $(CFLAGSFORSHARED)

PY_BUILTIN_MODULE_CFLAGS= $(PY_STDMODULE_CFLAGS) -DPy_BUILD_CORE_BUILTIN

PY_CORE_CFLAGS= $(PY_STDMODULE_CFLAGS) -DPy_BUILD_CORE

# Linker flags used for building the interpreter object files

PY_CORE_LDFLAGS=$(PY_LDFLAGS) $(PY_LDFLAGS_NODIST)

# Strict or non-strict aliasing flags used to compile dtoa.c, see above

CFLAGS_ALIASING=@CFLAGS_ALIASING@

# Machine-dependent subdirectories

MACHDEP= @MACHDEP@

# Multiarch directory (may be empty)

MULTIARCH= @MULTIARCH@

MULTIARCH_CPPFLAGS = @MULTIARCH_CPPFLAGS@

# Install prefix for architecture-independent files

prefix= @prefix@

# Install prefix for architecture-dependent files

exec_prefix= @exec_prefix@

# Install prefix for data files

datarootdir= @datarootdir@

# Expanded directories

BINDIR= @bindir@

LIBDIR= @libdir@

MANDIR= @mandir@

INCLUDEDIR= @includedir@

CONFINCLUDEDIR= $(exec_prefix)/include

PLATLIBDIR= @PLATLIBDIR@

SCRIPTDIR= $(prefix)/$(PLATLIBDIR)

ABIFLAGS= @ABIFLAGS@

# executable name for shebangs

EXENAME= $(BINDIR)/python$(LDVERSION)$(EXE)

# Variable used by ensurepip

WHEEL_PKG_DIR= @WHEEL_PKG_DIR@

# Detailed destination directories

BINLIBDEST= @BINLIBDEST@

LIBDEST= $(SCRIPTDIR)/python$(VERSION)

INCLUDEPY= $(INCLUDEDIR)/python$(LDVERSION)

CONFINCLUDEPY= $(CONFINCLUDEDIR)/python$(LDVERSION)

# Symbols used for using shared libraries

SHLIB_SUFFIX= @SHLIB_SUFFIX@

EXT_SUFFIX= @EXT_SUFFIX@

LDSHARED= @LDSHARED@ $(PY_LDFLAGS)

BLDSHARED= @BLDSHARED@ $(PY_CORE_LDFLAGS)

LDCXXSHARED= @LDCXXSHARED@

DESTSHARED= $(BINLIBDEST)/lib-dynload

# List of exported symbols for AIX

EXPORTSYMS= @EXPORTSYMS@

EXPORTSFROM= @EXPORTSFROM@

# Executable suffix (.exe on Windows and Mac OS X)

EXE= @EXEEXT@

BUILDEXE= @BUILDEXEEXT@

# Short name and location for Mac OS X Python framework

UNIVERSALSDK=@UNIVERSALSDK@

PYTHONFRAMEWORK= @PYTHONFRAMEWORK@

PYTHONFRAMEWORKDIR= @PYTHONFRAMEWORKDIR@

PYTHONFRAMEWORKPREFIX= @PYTHONFRAMEWORKPREFIX@

PYTHONFRAMEWORKINSTALLDIR= @PYTHONFRAMEWORKINSTALLDIR@

# Deployment target selected during configure, to be checked

# by distutils. The export statement is needed to ensure that the

# deployment target is active during build.

MACOSX_DEPLOYMENT_TARGET=@CONFIGURE_MACOSX_DEPLOYMENT_TARGET@

@EXPORT_MACOSX_DEPLOYMENT_TARGET@export MACOSX_DEPLOYMENT_TARGET

# Option to install to strip binaries

STRIPFLAG=-s

# Flags to lipo to produce a 32-bit-only universal executable

LIPO_32BIT_FLAGS=@LIPO_32BIT_FLAGS@

# Flags to lipo to produce an intel-64-only universal executable

LIPO_INTEL64_FLAGS=@LIPO_INTEL64_FLAGS@

# Environment to run shared python without installed libraries

RUNSHARED= @RUNSHARED@

# ensurepip options

ENSUREPIP= @ENSUREPIP@

# Internal static libraries

LIBMPDEC_A= Modules/_decimal/libmpdec/libmpdec.a

LIBEXPAT_A= Modules/expat/libexpat.a

LIBHACL_SHA2_A= Modules/_hacl/libHacl_Hash_SHA2.a

# Module state, compiler flags and linker flags

# Empty CFLAGS and LDFLAGS are omitted.

# states:

# * yes: module is available

# * missing: build dependency is missing

# * disabled: module is disabled

# * n/a: module is not available on the current platform

# MODULE_EGG_STATE=yes # yes, missing, disabled, n/a

# MODULE_EGG_CFLAGS=

# MODULE_EGG_LDFLAGS=

@MODULE_BLOCK@

# Default zoneinfo.TZPATH. Added here to expose it in sysconfig.get_config_var

TZPATH=@TZPATH@

# Modes for directories, executables and data files created by the

# install process. Default to user-only-writable for all file types.

DIRMODE= 755

EXEMODE= 755

FILEMODE= 644

# configure script arguments

CONFIG_ARGS= @CONFIG_ARGS@

# Subdirectories with code

SRCDIRS= @SRCDIRS@

# Other subdirectories

SUBDIRSTOO= Include Lib Misc

# assets for Emscripten browser builds

WASM_ASSETS_DIR=.$(prefix)

WASM_STDLIB=$(WASM_ASSETS_DIR)/lib/python$(VERSION)/os.py

# Files and directories to be distributed

CONFIGFILES= configure configure.ac acconfig.h pyconfig.h.in Makefile.pre.in

DISTFILES= README.rst ChangeLog $(CONFIGFILES)

DISTDIRS= $(SUBDIRS) $(SUBDIRSTOO) Ext-dummy

DIST= $(DISTFILES) $(DISTDIRS)

LIBRARY= @LIBRARY@

LDLIBRARY= @LDLIBRARY@

BLDLIBRARY= @BLDLIBRARY@

PY3LIBRARY= @PY3LIBRARY@

DLLLIBRARY= @DLLLIBRARY@

LDLIBRARYDIR= @LDLIBRARYDIR@

INSTSONAME= @INSTSONAME@

LIBRARY_DEPS= @LIBRARY_DEPS@

LINK_PYTHON_DEPS=@LINK_PYTHON_DEPS@

PY_ENABLE_SHARED= @PY_ENABLE_SHARED@

STATIC_LIBPYTHON= @STATIC_LIBPYTHON@

LIBS= @LIBS@

LIBM= @LIBM@

LIBC= @LIBC@

SYSLIBS= $(LIBM) $(LIBC)

SHLIBS= @SHLIBS@

DLINCLDIR= @DLINCLDIR@

DYNLOADFILE= @DYNLOADFILE@

MACHDEP_OBJS= @MACHDEP_OBJS@

LIBOBJDIR= Python/

LIBOBJS= @LIBOBJS@

PYTHON= python$(EXE)

BUILDPYTHON= python$(BUILDEXE)

HOSTRUNNER= @HOSTRUNNER@

PYTHON_FOR_REGEN?=@PYTHON_FOR_REGEN@

UPDATE_FILE=$(PYTHON_FOR_REGEN) $(srcdir)/Tools/build/update_file.py

PYTHON_FOR_BUILD=@PYTHON_FOR_BUILD@

# Single-platform builds depend on $(BUILDPYTHON). Cross builds use an

# external "build Python" and have an empty PYTHON_FOR_BUILD_DEPS.

PYTHON_FOR_BUILD_DEPS=@PYTHON_FOR_BUILD_DEPS@

# Single-platform builds use Programs/_freeze_module.c for bootstrapping and

# ./_bootstrap_python Programs/_freeze_module.py for remaining modules

# Cross builds use an external "build Python" for all modules.

PYTHON_FOR_FREEZE=@PYTHON_FOR_FREEZE@

FREEZE_MODULE_BOOTSTRAP=@FREEZE_MODULE_BOOTSTRAP@

FREEZE_MODULE_BOOTSTRAP_DEPS=@FREEZE_MODULE_BOOTSTRAP_DEPS@

FREEZE_MODULE=@FREEZE_MODULE@

FREEZE_MODULE_DEPS=@FREEZE_MODULE_DEPS@

_PYTHON_HOST_PLATFORM=@_PYTHON_HOST_PLATFORM@

BUILD_GNU_TYPE= @build@

HOST_GNU_TYPE= @host@

# The task to run while instrumented when building the profile-opt target.

# To speed up profile generation, we don't run the full unit test suite

# by default. The default is "-m test --pgo". To run more tests, use

# PROFILE_TASK="-m test --pgo-extended"

PROFILE_TASK= @PROFILE_TASK@

# report files for gcov / lcov coverage report

COVERAGE_INFO= $(abs_builddir)/coverage.info

COVERAGE_REPORT=$(abs_builddir)/lcov-report

COVERAGE_LCOV_OPTIONS=--rc lcov_branch_coverage=1

COVERAGE_REPORT_OPTIONS=--rc lcov_branch_coverage=1 --branch-coverage --title "CPython $(VERSION) LCOV report [commit $(shell $(GITVERSION))]"

# === Definitions added by makesetup ===

##########################################################################

# Modules

MODULE_OBJS= \

Modules/config.o \

Modules/main.o \

Modules/gcmodule.o

IO_H= Modules/_io/_iomodule.h

IO_OBJS= \

Modules/_io/_iomodule.o \

Modules/_io/iobase.o \

Modules/_io/fileio.o \

Modules/_io/bufferedio.o \

Modules/_io/textio.o \

Modules/_io/bytesio.o \

Modules/_io/stringio.o

##########################################################################

# mimalloc

MIMALLOC_HEADERS= \

$(srcdir)/Include/internal/pycore_mimalloc.h \

$(srcdir)/Include/internal/mimalloc/mimalloc.h \

$(srcdir)/Include/internal/mimalloc/mimalloc/atomic.h \

$(srcdir)/Include/internal/mimalloc/mimalloc/internal.h \

$(srcdir)/Include/internal/mimalloc/mimalloc/prim.h \

$(srcdir)/Include/internal/mimalloc/mimalloc/track.h \

$(srcdir)/Include/internal/mimalloc/mimalloc/types.h

##########################################################################

# Parser

PEGEN_OBJS= \

Parser/pegen.o \

Parser/pegen_errors.o \

Parser/action_helpers.o \

Parser/parser.o \

Parser/string_parser.o \

Parser/peg_api.o

TOKENIZER_OBJS= \

Parser/lexer/buffer.o \

Parser/lexer/lexer.o \

Parser/lexer/state.o \

Parser/tokenizer/file_tokenizer.o \

Parser/tokenizer/readline_tokenizer.o \

Parser/tokenizer/string_tokenizer.o \

Parser/tokenizer/utf8_tokenizer.o \

Parser/tokenizer/helpers.o

PEGEN_HEADERS= \

$(srcdir)/Include/internal/pycore_parser.h \

$(srcdir)/Parser/pegen.h \

$(srcdir)/Parser/string_parser.h

TOKENIZER_HEADERS= \

Parser/lexer/buffer.h \

Parser/lexer/lexer.h \

Parser/lexer/state.h \

Parser/tokenizer/tokenizer.h \

Parser/tokenizer/helpers.h

POBJS= \

Parser/token.o \

PARSER_OBJS= $(POBJS) $(PEGEN_OBJS) $(TOKENIZER_OBJS) Parser/myreadline.o

PARSER_HEADERS= \

$(PEGEN_HEADERS) \

$(TOKENIZER_HEADERS)

##########################################################################

# Python

PYTHON_OBJS= \

Python/_warnings.o \

Python/Python-ast.o \

Python/Python-tokenize.o \

Python/asdl.o \

Python/assemble.o \

Python/ast.o \

Python/ast_opt.o \

Python/ast_unparse.o \

Python/bltinmodule.o \

Python/ceval.o \

Python/codecs.o \

Python/compile.o \

Python/context.o \

Python/crossinterp.o \

Python/dynamic_annotations.o \

Python/errors.o \

Python/flowgraph.o \

Python/frame.o \

Python/frozenmain.o \

Python/future.o \

Python/getargs.o \

Python/getcompiler.o \

Python/getcopyright.o \

Python/getplatform.o \

Python/getversion.o \

Python/ceval_gil.o \

Python/hamt.o \

Python/hashtable.o \

Python/import.o \

Python/importdl.o \

Python/initconfig.o \

Python/instrumentation.o \

Python/intrinsics.o \

Python/legacy_tracing.o \

Python/lock.o \

Python/marshal.o \

Python/modsupport.o \

Python/mysnprintf.o \

Python/mystrtoul.o \

Python/optimizer.o \

Python/optimizer_analysis.o \

Python/parking_lot.o \

Python/pathconfig.o \

Python/preconfig.o \

Python/pyarena.o \

Python/pyctype.o \

Python/pyfpe.o \

Python/pyhash.o \

Python/pylifecycle.o \

Python/pymath.o \

Python/pystate.o \

Python/pythonrun.o \

Python/pytime.o \

Python/bootstrap_hash.o \

Python/specialize.o \

Python/structmember.o \

Python/symtable.o \

Python/sysmodule.o \

Python/thread.o \

Python/traceback.o \

Python/tracemalloc.o \

Python/getopt.o \

Python/pystrcmp.o \

Python/pystrtod.o \

Python/pystrhex.o \

Python/dtoa.o \

Python/formatter_unicode.o \

Python/fileutils.o \

Python/suggestions.o \

Python/perf_trampoline.o \

Python/$(DYNLOADFILE) \

$(LIBOBJS) \

$(MACHDEP_OBJS) \

$(DTRACE_OBJS) \

@PLATFORM_OBJS@

##########################################################################

# Objects

OBJECT_OBJS= \

Objects/abstract.o \

Objects/boolobject.o \

Objects/bytes_methods.o \

Objects/bytearrayobject.o \

Objects/bytesobject.o \

Objects/call.o \

Objects/capsule.o \

Objects/cellobject.o \

Objects/classobject.o \

Objects/codeobject.o \

Objects/complexobject.o \

Objects/descrobject.o \

Objects/enumobject.o \

Objects/exceptions.o \

Objects/genericaliasobject.o \

Objects/genobject.o \

Objects/fileobject.o \

Objects/floatobject.o \

Objects/frameobject.o \

Objects/funcobject.o \

Objects/interpreteridobject.o \

Objects/iterobject.o \

Objects/listobject.o \

Objects/longobject.o \

Objects/dictobject.o \

Objects/odictobject.o \

Objects/memoryobject.o \

Objects/methodobject.o \

Objects/moduleobject.o \

Objects/namespaceobject.o \

Objects/object.o \

Objects/obmalloc.o \

Objects/picklebufobject.o \

Objects/rangeobject.o \

Objects/setobject.o \

Objects/sliceobject.o \

Objects/structseq.o \

Objects/tupleobject.o \

Objects/typeobject.o \

Objects/typevarobject.o \

Objects/unicodeobject.o \

Objects/unicodectype.o \

Objects/unionobject.o \

Objects/weakrefobject.o \

@PERF_TRAMPOLINE_OBJ@

##########################################################################

# objects that get linked into the Python library

LIBRARY_OBJS_OMIT_FROZEN= \

Modules/getbuildinfo.o \

$(PARSER_OBJS) \

$(OBJECT_OBJS) \

$(PYTHON_OBJS) \

$(MODULE_OBJS) \

$(MODOBJS)

LIBRARY_OBJS= \

$(LIBRARY_OBJS_OMIT_FROZEN) \

Modules/getpath.o \

Python/frozen.o

LINK_PYTHON_OBJS=@LINK_PYTHON_OBJS@

##########################################################################

# DTrace

# On some systems, object files that reference DTrace probes need to be modified

# in-place by dtrace(1).

DTRACE_DEPS = \

Python/ceval.o Python/import.o Python/sysmodule.o Modules/gcmodule.o

##########################################################################

# decimal's libmpdec

LIBMPDEC_OBJS= \

Modules/_decimal/libmpdec/basearith.o \

Modules/_decimal/libmpdec/constants.o \

Modules/_decimal/libmpdec/context.o \

Modules/_decimal/libmpdec/convolute.o \

Modules/_decimal/libmpdec/crt.o \

Modules/_decimal/libmpdec/difradix2.o \

Modules/_decimal/libmpdec/fnt.o \

Modules/_decimal/libmpdec/fourstep.o \

Modules/_decimal/libmpdec/io.o \

Modules/_decimal/libmpdec/mpalloc.o \

Modules/_decimal/libmpdec/mpdecimal.o \

Modules/_decimal/libmpdec/numbertheory.o \

Modules/_decimal/libmpdec/sixstep.o \

Modules/_decimal/libmpdec/transpose.o

# _decimal does not use signaling API

# Modules/_decimal/libmpdec/mpsignal.o

LIBMPDEC_HEADERS= \

$(srcdir)/Modules/_decimal/libmpdec/basearith.h \

$(srcdir)/Modules/_decimal/libmpdec/bits.h \

$(srcdir)/Modules/_decimal/libmpdec/constants.h \

$(srcdir)/Modules/_decimal/libmpdec/convolute.h \

$(srcdir)/Modules/_decimal/libmpdec/crt.h \

$(srcdir)/Modules/_decimal/libmpdec/difradix2.h \

$(srcdir)/Modules/_decimal/libmpdec/fnt.h \

$(srcdir)/Modules/_decimal/libmpdec/fourstep.h \

$(srcdir)/Modules/_decimal/libmpdec/io.h \

$(srcdir)/Modules/_decimal/libmpdec/mpalloc.h \

$(srcdir)/Modules/_decimal/libmpdec/mpdecimal.h \

$(srcdir)/Modules/_decimal/libmpdec/numbertheory.h \

$(srcdir)/Modules/_decimal/libmpdec/sixstep.h \

$(srcdir)/Modules/_decimal/libmpdec/transpose.h \

$(srcdir)/Modules/_decimal/libmpdec/typearith.h \

$(srcdir)/Modules/_decimal/libmpdec/umodarith.h

##########################################################################

# pyexpat's expat library

LIBEXPAT_OBJS= \

Modules/expat/xmlparse.o \

Modules/expat/xmlrole.o \

Modules/expat/xmltok.o

LIBEXPAT_HEADERS= \

Modules/expat/ascii.h \

Modules/expat/asciitab.h \

Modules/expat/expat.h \

Modules/expat/expat_config.h \

Modules/expat/expat_external.h \

Modules/expat/iasciitab.h \

Modules/expat/internal.h \

Modules/expat/latin1tab.h \

Modules/expat/nametab.h \

Modules/expat/pyexpatns.h \

Modules/expat/siphash.h \

Modules/expat/utf8tab.h \

Modules/expat/xmlrole.h \

Modules/expat/xmltok.h \

Modules/expat/xmltok_impl.h

##########################################################################

# hashlib's HACL* library

LIBHACL_SHA2_OBJS= \

Modules/_hacl/Hacl_Hash_SHA2.o

LIBHACL_HEADERS= \

Modules/_hacl/include/krml/FStar_UInt128_Verified.h \

Modules/_hacl/include/krml/FStar_UInt_8_16_32_64.h \

Modules/_hacl/include/krml/fstar_uint128_struct_endianness.h \

Modules/_hacl/include/krml/internal/target.h \

Modules/_hacl/include/krml/lowstar_endianness.h \

Modules/_hacl/include/krml/types.h \

Modules/_hacl/Hacl_Streaming_Types.h \

Modules/_hacl/python_hacl_namespaces.h

LIBHACL_SHA2_HEADERS= \

Modules/_hacl/Hacl_Hash_SHA2.h \

Modules/_hacl/internal/Hacl_Hash_SHA2.h \

$(LIBHACL_HEADERS)

#########################################################################

# Rules

# Default target

all: @DEF_MAKE_ALL_RULE@

# First target in Makefile is implicit default. So .PHONY needs to come after

# all.

.PHONY: all

.PHONY: build_all

build_all: check-clean-src $(BUILDPYTHON) platform sharedmods \

gdbhooks Programs/_testembed scripts checksharedmods rundsymutil

.PHONY: build_wasm

build_wasm: check-clean-src $(BUILDPYTHON) platform sharedmods \

python-config checksharedmods

# Check that the source is clean when building out of source.

.PHONY: check-clean-src

check-clean-src:

@if test -n "$(VPATH)" -a \( \

-f "$(srcdir)/$(BUILDPYTHON)" \

-o -f "$(srcdir)/Programs/python.o" \

-o -f "$(srcdir)\Python/frozen_modules/importlib._bootstrap.h" \

\); then \

echo "Error: The source directory ($(srcdir)) is not clean" ; \

echo "Building Python out of the source tree (in $(abs_builddir)) requires a clean source tree ($(abs_srcdir))" ; \

echo "Try to run: make -C \"$(srcdir)\" clean" ; \

exit 1; \

fi

# Profile generation build must start from a clean tree.

profile-clean-stamp:

$(MAKE) clean

touch $@

# Compile with profile generation enabled.

profile-gen-stamp: profile-clean-stamp

@if [ $(LLVM_PROF_ERR) = yes ]; then \

echo "Error: Cannot perform PGO build because llvm-profdata was not found in PATH" ;\

echo "Please add it to PATH and run ./configure again" ;\

exit 1;\

fi

@echo "Building with support for profile generation:"

$(MAKE) @DEF_MAKE_RULE@ CFLAGS_NODIST="$(CFLAGS_NODIST) $(PGO_PROF_GEN_FLAG)" LDFLAGS_NODIST="$(LDFLAGS_NODIST) $(PGO_PROF_GEN_FLAG)" LIBS="$(LIBS)"

touch $@

# Run task with profile generation build to create profile information.

profile-run-stamp:

@echo "Running code to generate profile data (this can take a while):"

# First, we need to create a clean build with profile generation

# enabled.

$(MAKE) profile-gen-stamp

# Next, run the profile task to generate the profile information.

@ # FIXME: can't run for a cross build

$(LLVM_PROF_FILE) $(RUNSHARED) ./$(BUILDPYTHON) $(PROFILE_TASK)

$(LLVM_PROF_MERGER)

# Remove profile generation binary since we are done with it.

$(MAKE) clean-retain-profile

# This is an expensive target to build and it does not have proper

# makefile dependency information. So, we create a "stamp" file

# to record its completion and avoid re-running it.

touch $@

# Compile Python binary with profile guided optimization.

# To force re-running of the profile task, remove the profile-run-stamp file.

.PHONY: profile-opt

profile-opt: profile-run-stamp

@echo "Rebuilding with profile guided optimizations:"

-rm -f profile-clean-stamp

$(MAKE) @DEF_MAKE_RULE@ CFLAGS_NODIST="$(CFLAGS_NODIST) $(PGO_PROF_USE_FLAG)" LDFLAGS_NODIST="$(LDFLAGS_NODIST)"

# List of binaries that BOLT runs on.

BOLT_BINARIES := @BOLT_BINARIES@

BOLT_INSTRUMENT_FLAGS := @BOLT_INSTRUMENT_FLAGS@

BOLT_APPLY_FLAGS := @BOLT_APPLY_FLAGS@

.PHONY: clean-bolt

clean-bolt:

# Profile data.

rm -f *.fdata

# Pristine binaries before BOLT optimization.

rm -f *.prebolt

# BOLT instrumented binaries.

rm -f *.bolt_inst

profile-bolt-stamp: $(BUILDPYTHON)

# Ensure a pristine, pre-BOLT copy of the binary and no profile data from last run.

for bin in $(BOLT_BINARIES); do \

prebolt="$${bin}.prebolt"; \

if [ -e "$${prebolt}" ]; then \

echo "Restoring pre-BOLT binary $${prebolt}"; \

mv "$${bin}.prebolt" "$${bin}"; \

fi; \

cp "$${bin}" "$${prebolt}"; \

rm -f $${bin}.bolt.*.fdata $${bin}.fdata; \

done

# Instrument each binary.

for bin in $(BOLT_BINARIES); do \

@LLVM_BOLT@ "$${bin}" -instrument -instrumentation-file-append-pid -instrumentation-file=$(abspath $${bin}.bolt) -o $${bin}.bolt_inst $(BOLT_INSTRUMENT_FLAGS); \

mv "$${bin}.bolt_inst" "$${bin}"; \

done

# Run instrumented binaries to collect data.

$(RUNSHARED) ./$(BUILDPYTHON) $(PROFILE_TASK)

# Merge all the data files together.

for bin in $(BOLT_BINARIES); do \

@MERGE_FDATA@ $${bin}.*.fdata > "$${bin}.fdata"; \

rm -f $${bin}.*.fdata; \

done

# Run bolt against the merged data to produce an optimized binary.

for bin in $(BOLT_BINARIES); do \

@LLVM_BOLT@ "$${bin}.prebolt" -o "$${bin}.bolt" -data="$${bin}.fdata" $(BOLT_APPLY_FLAGS); \

mv "$${bin}.bolt" "$${bin}"; \

done

touch $@

.PHONY: bolt-opt

bolt-opt:

$(MAKE) @PREBOLT_RULE@

$(MAKE) profile-bolt-stamp

# Compile and run with gcov

.PHONY: coverage

coverage:

@echo "Building with support for coverage checking:"

$(MAKE) clean

$(MAKE) @DEF_MAKE_RULE@ CFLAGS="$(CFLAGS) -O0 -pg --coverage" LDFLAGS="$(LDFLAGS) --coverage"

.PHONY: coverage-lcov

coverage-lcov:

@echo "Creating Coverage HTML report with LCOV:"

@rm -f $(COVERAGE_INFO)

@rm -rf $(COVERAGE_REPORT)

@lcov $(COVERAGE_LCOV_OPTIONS) --capture \

--directory $(abs_builddir) \

--base-directory $(realpath $(abs_builddir)) \

--path $(realpath $(abs_srcdir)) \

--output-file $(COVERAGE_INFO)

@ # remove 3rd party modules, system headers and internal files with

@ # debug, test or dummy functions.

@lcov $(COVERAGE_LCOV_OPTIONS) --remove $(COVERAGE_INFO) \

'*/Modules/_blake2/impl/*' \

'*/Modules/_ctypes/libffi*/*' \

'*/Modules/_decimal/libmpdec/*' \

'*/Modules/expat/*' \

'*/Modules/xx*.c' \

'*/Python/pyfpe.c' \

'*/Python/pystrcmp.c' \

'/usr/include/*' \

'/usr/local/include/*' \

'/usr/lib/gcc/*' \

--output-file $(COVERAGE_INFO)

@genhtml $(COVERAGE_INFO) \

--output-directory $(COVERAGE_REPORT) \

$(COVERAGE_REPORT_OPTIONS)

@echo

@echo "lcov report at $(COVERAGE_REPORT)/index.html"

@echo

# Force regeneration of parser and frozen modules

.PHONY: coverage-report

coverage-report: regen-token regen-frozen

@ # build with coverage info

$(MAKE) coverage

@ # run tests, ignore failures

$(TESTRUNNER) --fast-ci --timeout=$(TESTTIMEOUT) $(TESTOPTS) || true

@ # build lcov report

$(MAKE) coverage-lcov

# Run "Argument Clinic" over all source files

.PHONY: clinic

clinic: check-clean-src $(srcdir)/Modules/_blake2/blake2s_impl.c

$(PYTHON_FOR_REGEN) $(srcdir)/Tools/clinic/clinic.py --make --exclude Lib/test/clinic.test.c --srcdir $(srcdir)

.PHONY: clinic-tests

clinic-tests: check-clean-src $(srcdir)/Lib/test/clinic.test.c

$(PYTHON_FOR_REGEN) $(srcdir)/Tools/clinic/clinic.py -f $(srcdir)/Lib/test/clinic.test.c

# Build the interpreter

$(BUILDPYTHON): Programs/python.o $(LINK_PYTHON_DEPS)

$(LINKCC) $(PY_CORE_LDFLAGS) $(LINKFORSHARED) -o $@ Programs/python.o $(LINK_PYTHON_OBJS) $(LIBS) $(MODLIBS) $(SYSLIBS)

platform: $(PYTHON_FOR_BUILD_DEPS) pybuilddir.txt

$(RUNSHARED) $(PYTHON_FOR_BUILD) -c 'import sys ; from sysconfig import get_platform ; print("%s-%d.%d" % (get_platform(), *sys.version_info[:2]))' >platform

# Create build directory and generate the sysconfig build-time data there.

# pybuilddir.txt contains the name of the build dir and is used for

# sys.path fixup -- see Modules/getpath.c.

# Since this step runs before shared modules are built, try to avoid bootstrap

# problems by creating a dummy pybuilddir.txt just to allow interpreter

# initialization to succeed. It will be overwritten by generate-posix-vars

# or removed in case of failure.

pybuilddir.txt: $(PYTHON_FOR_BUILD_DEPS)

@echo "none" > ./pybuilddir.txt

$(RUNSHARED) $(PYTHON_FOR_BUILD) -S -m sysconfig --generate-posix-vars ;\

if test $$? -ne 0 ; then \

echo "generate-posix-vars failed" ; \

rm -f ./pybuilddir.txt ; \

exit 1 ; \

fi

# blake2s is auto-generated from blake2b

$(srcdir)/Modules/_blake2/blake2s_impl.c: $(srcdir)/Modules/_blake2/blake2b_impl.c $(srcdir)/Modules/_blake2/blake2b2s.py

$(PYTHON_FOR_REGEN) $(srcdir)/Modules/_blake2/blake2b2s.py

$(PYTHON_FOR_REGEN) $(srcdir)/Tools/clinic/clinic.py -f $@

# Build static library

$(LIBRARY): $(LIBRARY_OBJS)

-rm -f $@

$(AR) $(ARFLAGS) $@ $(LIBRARY_OBJS)

libpython$(LDVERSION).so: $(LIBRARY_OBJS) $(DTRACE_OBJS)

if test $(INSTSONAME) != $(LDLIBRARY); then \

$(BLDSHARED) -Wl,-h$(INSTSONAME) -o $(INSTSONAME) $(LIBRARY_OBJS) $(MODLIBS) $(SHLIBS) $(LIBC) $(LIBM); \

$(LN) -f $(INSTSONAME) $@; \

else \

$(BLDSHARED) -o $@ $(LIBRARY_OBJS) $(MODLIBS) $(SHLIBS) $(LIBC) $(LIBM); \

fi

libpython3.so: libpython$(LDVERSION).so

$(BLDSHARED) $(NO_AS_NEEDED) -o $@ -Wl,-h$@ $^

libpython$(LDVERSION).dylib: $(LIBRARY_OBJS)

$(CC) -dynamiclib -Wl,-single_module $(PY_CORE_LDFLAGS) -undefined dynamic_lookup -Wl,-install_name,$(prefix)/lib/libpython$(LDVERSION).dylib -Wl,-compatibility_version,$(VERSION) -Wl,-current_version,$(VERSION) -o $@ $(LIBRARY_OBJS) $(DTRACE_OBJS) $(SHLIBS) $(LIBC) $(LIBM); \

libpython$(VERSION).sl: $(LIBRARY_OBJS)

$(LDSHARED) -o $@ $(LIBRARY_OBJS) $(MODLIBS) $(SHLIBS) $(LIBC) $(LIBM)

# List of exported symbols for AIX

Modules/python.exp: $(LIBRARY)

$(srcdir)/Modules/makexp_aix $@ "$(EXPORTSFROM)" $?

# Copy up the gdb python hooks into a position where they can be automatically

# loaded by gdb during Lib/test/test_gdb.py

#

# Distributors are likely to want to install this somewhere else e.g. relative

# to the stripped DWARF data for the shared library.

.PHONY: gdbhooks

gdbhooks: $(BUILDPYTHON)-gdb.py

SRC_GDB_HOOKS=$(srcdir)/Tools/gdb/libpython.py

$(BUILDPYTHON)-gdb.py: $(SRC_GDB_HOOKS)

$(INSTALL_DATA) $(SRC_GDB_HOOKS) $(BUILDPYTHON)-gdb.py

# This rule is here for OPENSTEP/Rhapsody/MacOSX. It builds a temporary

# minimal framework (not including the Lib directory and such) in the current

# directory.

RESSRCDIR=Mac/Resources/framework

$(PYTHONFRAMEWORKDIR)/Versions/$(VERSION)/$(PYTHONFRAMEWORK): \

$(LIBRARY) \

$(RESSRCDIR)/Info.plist

$(INSTALL) -d -m $(DIRMODE) $(PYTHONFRAMEWORKDIR)/Versions/$(VERSION)

$(CC) -o $(LDLIBRARY) $(PY_CORE_LDFLAGS) -dynamiclib \

-all_load $(LIBRARY) -Wl,-single_module \

-install_name $(DESTDIR)$(PYTHONFRAMEWORKINSTALLDIR)/Versions/$(VERSION)/$(PYTHONFRAMEWORK) \

-compatibility_version $(VERSION) \

-current_version $(VERSION) \

-framework CoreFoundation $(LIBS);

$(INSTALL) -d -m $(DIRMODE) \

$(PYTHONFRAMEWORKDIR)/Versions/$(VERSION)/Resources/English.lproj

$(INSTALL_DATA) $(RESSRCDIR)/Info.plist \

$(PYTHONFRAMEWORKDIR)/Versions/$(VERSION)/Resources/Info.plist

$(LN) -fsn $(VERSION) $(PYTHONFRAMEWORKDIR)/Versions/Current

$(LN) -fsn Versions/Current/$(PYTHONFRAMEWORK) $(PYTHONFRAMEWORKDIR)/$(PYTHONFRAMEWORK)

$(LN) -fsn Versions/Current/Resources $(PYTHONFRAMEWORKDIR)/Resources

# This rule builds the Cygwin Python DLL and import library if configured

# for a shared core library; otherwise, this rule is a noop.

$(DLLLIBRARY) libpython$(LDVERSION).dll.a: $(LIBRARY_OBJS)

if test -n "$(DLLLIBRARY)"; then \

$(LDSHARED) -Wl,--out-implib=$@ -o $(DLLLIBRARY) $^ \

$(LIBS) $(MODLIBS) $(SYSLIBS); \

else true; \

fi

# wasm32-emscripten browser build

# wasm assets directory is relative to current build dir, e.g. "./usr/local".

# --preload-file turns a relative asset path into an absolute path.

.PHONY: wasm_stdlib

wasm_stdlib: $(WASM_STDLIB)

$(WASM_STDLIB): $(srcdir)/Lib/*.py $(srcdir)/Lib/*/*.py \

$(srcdir)/Tools/wasm/wasm_assets.py \

Makefile pybuilddir.txt Modules/Setup.local

$(PYTHON_FOR_BUILD) $(srcdir)/Tools/wasm/wasm_assets.py \

--buildroot . --prefix $(prefix)

python.html: $(srcdir)/Tools/wasm/python.html python.worker.js

@cp $(srcdir)/Tools/wasm/python.html $@

python.worker.js: $(srcdir)/Tools/wasm/python.worker.js

@cp $(srcdir)/Tools/wasm/python.worker.js $@

##########################################################################

# Build static libmpdec.a

LIBMPDEC_CFLAGS=@LIBMPDEC_CFLAGS@ $(PY_STDMODULE_CFLAGS) $(CCSHARED)

# "%.o: %c" is not portable

Modules/_decimal/libmpdec/basearith.o: $(srcdir)/Modules/_decimal/libmpdec/basearith.c $(LIBMPDEC_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBMPDEC_CFLAGS) -o $@ $(srcdir)/Modules/_decimal/libmpdec/basearith.c

Modules/_decimal/libmpdec/constants.o: $(srcdir)/Modules/_decimal/libmpdec/constants.c $(LIBMPDEC_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBMPDEC_CFLAGS) -o $@ $(srcdir)/Modules/_decimal/libmpdec/constants.c

Modules/_decimal/libmpdec/context.o: $(srcdir)/Modules/_decimal/libmpdec/context.c $(LIBMPDEC_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBMPDEC_CFLAGS) -o $@ $(srcdir)/Modules/_decimal/libmpdec/context.c

Modules/_decimal/libmpdec/convolute.o: $(srcdir)/Modules/_decimal/libmpdec/convolute.c $(LIBMPDEC_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBMPDEC_CFLAGS) -o $@ $(srcdir)/Modules/_decimal/libmpdec/convolute.c

Modules/_decimal/libmpdec/crt.o: $(srcdir)/Modules/_decimal/libmpdec/crt.c $(LIBMPDEC_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBMPDEC_CFLAGS) -o $@ $(srcdir)/Modules/_decimal/libmpdec/crt.c

Modules/_decimal/libmpdec/difradix2.o: $(srcdir)/Modules/_decimal/libmpdec/difradix2.c $(LIBMPDEC_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBMPDEC_CFLAGS) -o $@ $(srcdir)/Modules/_decimal/libmpdec/difradix2.c

Modules/_decimal/libmpdec/fnt.o: $(srcdir)/Modules/_decimal/libmpdec/fnt.c $(LIBMPDEC_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBMPDEC_CFLAGS) -o $@ $(srcdir)/Modules/_decimal/libmpdec/fnt.c

Modules/_decimal/libmpdec/fourstep.o: $(srcdir)/Modules/_decimal/libmpdec/fourstep.c $(LIBMPDEC_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBMPDEC_CFLAGS) -o $@ $(srcdir)/Modules/_decimal/libmpdec/fourstep.c

Modules/_decimal/libmpdec/io.o: $(srcdir)/Modules/_decimal/libmpdec/io.c $(LIBMPDEC_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBMPDEC_CFLAGS) -o $@ $(srcdir)/Modules/_decimal/libmpdec/io.c

Modules/_decimal/libmpdec/mpalloc.o: $(srcdir)/Modules/_decimal/libmpdec/mpalloc.c $(LIBMPDEC_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBMPDEC_CFLAGS) -o $@ $(srcdir)/Modules/_decimal/libmpdec/mpalloc.c

Modules/_decimal/libmpdec/mpdecimal.o: $(srcdir)/Modules/_decimal/libmpdec/mpdecimal.c $(LIBMPDEC_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBMPDEC_CFLAGS) -o $@ $(srcdir)/Modules/_decimal/libmpdec/mpdecimal.c

Modules/_decimal/libmpdec/mpsignal.o: $(srcdir)/Modules/_decimal/libmpdec/mpsignal.c $(LIBMPDEC_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBMPDEC_CFLAGS) -o $@ $(srcdir)/Modules/_decimal/libmpdec/mpsignal.c

Modules/_decimal/libmpdec/numbertheory.o: $(srcdir)/Modules/_decimal/libmpdec/numbertheory.c $(LIBMPDEC_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBMPDEC_CFLAGS) -o $@ $(srcdir)/Modules/_decimal/libmpdec/numbertheory.c

Modules/_decimal/libmpdec/sixstep.o: $(srcdir)/Modules/_decimal/libmpdec/sixstep.c $(LIBMPDEC_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBMPDEC_CFLAGS) -o $@ $(srcdir)/Modules/_decimal/libmpdec/sixstep.c

Modules/_decimal/libmpdec/transpose.o: $(srcdir)/Modules/_decimal/libmpdec/transpose.c $(LIBMPDEC_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBMPDEC_CFLAGS) -o $@ $(srcdir)/Modules/_decimal/libmpdec/transpose.c

$(LIBMPDEC_A): $(LIBMPDEC_OBJS)

-rm -f $@

$(AR) $(ARFLAGS) $@ $(LIBMPDEC_OBJS)

##########################################################################

# Build static libexpat.a

LIBEXPAT_CFLAGS=@LIBEXPAT_CFLAGS@ $(PY_STDMODULE_CFLAGS) $(CCSHARED)

Modules/expat/xmlparse.o: $(srcdir)/Modules/expat/xmlparse.c $(LIBEXPAT_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBEXPAT_CFLAGS) -o $@ $(srcdir)/Modules/expat/xmlparse.c

Modules/expat/xmlrole.o: $(srcdir)/Modules/expat/xmlrole.c $(LIBEXPAT_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBEXPAT_CFLAGS) -o $@ $(srcdir)/Modules/expat/xmlrole.c

Modules/expat/xmltok.o: $(srcdir)/Modules/expat/xmltok.c $(LIBEXPAT_HEADERS) $(PYTHON_HEADERS)

$(CC) -c $(LIBEXPAT_CFLAGS) -o $@ $(srcdir)/Modules/expat/xmltok.c

$(LIBEXPAT_A): $(LIBEXPAT_OBJS)

-rm -f $@

$(AR) $(ARFLAGS) $@ $(LIBEXPAT_OBJS)