-
Notifications
You must be signed in to change notification settings - Fork 7
/
Makefile.common
32 lines (20 loc) · 829 Bytes
/
Makefile.common
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
# --- 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
# --- 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)