You've already forked RecordFlux
mirror of
https://github.com/AdaCore/RecordFlux.git
synced 2026-02-12 13:01:56 -08:00
35 lines
873 B
Makefile
35 lines
873 B
Makefile
# --- Repository structure ---
|
|
|
|
BUILD_DIR = build
|
|
MAKEFILE_DIR := $(abspath $(dir $(lastword $(MAKEFILE_LIST))))
|
|
|
|
# --- Virtual environments ---
|
|
|
|
POETRY_VENV = $(MAKEFILE_DIR)/.venv.poetry
|
|
POETRY = $(POETRY_VENV)/bin/poetry
|
|
|
|
DEVEL_VENV ?= $(shell test -n "$$VIRTUAL_ENV" && echo $$VIRTUAL_ENV || echo $(MAKEFILE_DIR)/.venv)
|
|
RFLX = $(DEVEL_VENV)/bin/rflx
|
|
|
|
CI_SIM_VENV = $(MAKEFILE_DIR)/.venv.ci.sim
|
|
|
|
# --- Executables ---
|
|
|
|
SHELL = /bin/bash
|
|
|
|
# --- GNATprove ---
|
|
|
|
GNATPROVE = $(MAKEFILE_DIR)/tools/gnatprove
|
|
|
|
# Use GNATprove's file-based caching by default and ensure the directory exists.
|
|
GNATPROVE_CACHE ?= file:$(MAKEFILE_DIR)/$(BUILD_DIR)/gnatprove_cache
|
|
|
|
ifneq (,$(findstring file:,$(GNATPROVE_CACHE)))
|
|
GNATPROVE_CACHE_DIR = $(subst file:,,$(GNATPROVE_CACHE))
|
|
endif
|
|
|
|
export GNATPROVE_CACHE := $(GNATPROVE_CACHE)
|
|
|
|
$(GNATPROVE_CACHE_DIR):
|
|
mkdir -p $(GNATPROVE_CACHE_DIR)
|