<commit_before>#
# Copyright 2020 The Project Oak Authors
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#     http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
#

# This Makefile by default builds all targets that are part of the
# Silver Oak system except those that require the invocation of the
# Xilinx tools for simulation or FPGA implementation.

# Build everything (except Xilinx-specific targets):
# make

# Clean everything:
# make clean

.PHONY: all third_party cava tests monad-examples \
	arrow-examples silveroak-opentitan clean

all:	third_party cava tests monad-examples \
	arrow-examples silveroak-opentitan

# Third party dependencies should be built first.
third_party:
	cd third_party && $(MAKE)

# The cava targert builds the core Cava DSL.
cava:
	cd cava && $(MAKE)

# The cava target runs the unit tests for the Cava DSL
tests:
	cd tests && $(MAKE)
	cd tests/xilinx && $(MAKE) extraction

# The monad-example builds and tests the monad examples (except for
# the Xilinx-specific targets)
monad-examples:
	cd monad-examples && $(MAKE)
	cd monad-examples/xilinx && $(MAKE) extraction

# The arrow-example builds and tests the arrow examples (except for
# the Xilinx-specific targets)
arrow-examples:
	cd arrow-examples && $(MAKE)

# The silveroak-opentitan builds the targets developed for the
# Silver Oak re-implementation of some OpenTitan blocks.
silveroak-opentitan:
	cd silveroak-opentitan && $(MAKE)
clean:
	cd third_party && $(MAKE) clean
	cd cava && $(MAKE) clean
	cd tests && $(MAKE) clean
	cd tests/xilinx && $(MAKE) clean
	cd monad-examples && $(MAKE) clean
	cd monad-examples/xilinx && $(MAKE) clean
	cd arrow-examples && $(MAKE) clean
	cd silveroak-opentitan && $(MAKE) clean<commit_msg>add coq target to top-level Makefile (#274)<commit_after>#
# Copyright 2020 The Project Oak Authors
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#     http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
#

# This Makefile by default builds all targets that are part of the
# Silver Oak system except those that require the invocation of the
# Xilinx tools for simulation or FPGA implementation.

# Build everything (except Xilinx-specific targets):
# make

# Clean everything:
# make clean

.PHONY: all third_party cava tests monad-examples \
	arrow-examples silveroak-opentitan clean

all:	third_party cava tests monad-examples \
	arrow-examples silveroak-opentitan

# Third party dependencies should be built first.
third_party:
	cd third_party && $(MAKE)

# The cava targert builds the core Cava DSL.
cava:
	cd cava && $(MAKE)

# The cava target runs the unit tests for the Cava DSL
tests:
	cd tests && $(MAKE)
	cd tests/xilinx && $(MAKE) extraction

# The monad-example builds and tests the monad examples (except for
# the Xilinx-specific targets)
monad-examples:
	cd monad-examples && $(MAKE)
	cd monad-examples/xilinx && $(MAKE) extraction

# The arrow-example builds and tests the arrow examples (except for
# the Xilinx-specific targets)
arrow-examples:
	cd arrow-examples && $(MAKE)

# The silveroak-opentitan builds the targets developed for the
# Silver Oak re-implementation of some OpenTitan blocks.
silveroak-opentitan:
	cd silveroak-opentitan && $(MAKE)

# The coq target builds only the Coq proofs.
coq:
	cd third_party && $(MAKE)
	cd cava && $(MAKE) coq
	cd arrow-examples && $(MAKE) coq
	cd monad-examples && $(MAKE) coq
	cd silveroak-opentitan && $(MAKE) coq

clean:
	cd third_party && $(MAKE) clean
	cd cava && $(MAKE) clean
	cd tests && $(MAKE) clean
	cd tests/xilinx && $(MAKE) clean
	cd monad-examples && $(MAKE) clean
	cd monad-examples/xilinx && $(MAKE) clean
	cd arrow-examples && $(MAKE) clean
	cd silveroak-opentitan && $(MAKE) clean
{'fraction_non_alphanumeric': 0.09080962800875274, 'fraction_numerical': 0.004157549234135667, 'mean_word_length': 4.35873388042204, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, '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': '5333151', 'n_tokens_mistral': 1447, 'n_tokens_neox': 1354, 'n_words': 579}