RecordFlux/Makefile.common at main · AdaCore/RecordFlux · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
# --- 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)