<commit_before>#! -*- Makefile -*-

# --------------------------------------------------------------------
SED      ?= sed
DISTDIR  := jasmin

# --------------------------------------------------------------------
.PHONY: all build check clean install uninstall dist distcheck

all: build

build:
	$(MAKE) -C proofs all
	$(MAKE) -C compiler CIL
	$(MAKE) -C compiler all

check:
	$(MAKE) -C eclib check

clean:
	$(MAKE) -C proofs clean
	$(MAKE) -C compiler clean

install:
	$(MAKE) -C compiler install
	$(MAKE) -C eclib install
	$(MAKE) -C proofs install

uninstall:<commit_msg>Export absolute PREFIX from toplevel Makefile<commit_after>#! -*- Makefile -*-

# --------------------------------------------------------------------
SED      ?= sed
DISTDIR  := jasmin
PREFIX   ?= /usr/local
# we compute the absolute path, otherwise it does not make sense when
# given to the sub-Makefiles
PREFIX   := $(abspath $(PREFIX))
export PREFIX

# --------------------------------------------------------------------
.PHONY: all build check clean install uninstall dist distcheck

all: build

build:
	$(MAKE) -C proofs all
	$(MAKE) -C compiler CIL
	$(MAKE) -C compiler all

check:
	$(MAKE) -C eclib check

clean:
	$(MAKE) -C proofs clean
	$(MAKE) -C compiler clean

install:
	$(MAKE) -C compiler install
	$(MAKE) -C eclib install
	$(MAKE) -C proofs install

uninstall:
{'fraction_non_alphanumeric': 0.3025830258302583, 'fraction_numerical': 0.0, 'mean_word_length': 1.627906976744186, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5838951', 'n_tokens_mistral': 414, 'n_tokens_neox': 383, 'n_words': 143}