forked from MLanguage/mlang
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile.config.template
70 lines (48 loc) · 2.05 KB
/
Makefile.config.template
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
# Copy this file as Makefile.config
# and change some of these variables to overwrite the default values.
##################################################
# Tax computation configuration
##################################################
# YEAR=2018
# SOURCE_FILES=$(SOURCE_DIR_2018)
# MPP_FILE=$(SELF_DIR)/mpp_specs/2018_6_7.mpp
# TESTS_DIR=$(SELF_DIR)/tests/2018/fuzzing/
# Enable filter on tests filename (Keep only if name begins by an uppercase ASCII character)
# TEST_FILTER=1
# M_SPEC_FILE=$(SELF_DIR)/m_specs/complex_case_with_ins_outs_2018.m_spec
# MPP_FUNCTION=compute_double_liquidation_pvro
##################################################
# Mlang configuration
##################################################
# General parameters
# ---------------------------
# PRECISION=double
# OPTIMIZE=0
# Interpreter instrumentation
# ---------------------------
# TEST_ERROR_MARGIN=0.
# CODE_COVERAGE=1
##################################################
# Build configuration
##################################################
# DUNE_OPTIONS=
##################################################
# C backend configuration
##################################################
# CC=clang
# Optimization level is selected based on compiler. Other flags may be set here.
# COMMON_CFLAGS=-std=c89 -pedantic
# Mlang includes a light C interface and a light Ocaml driver to build an autotest application.
# "Autotest" is a standalone CLI tax calculator using FIP files as its data format and limited to
# initial tax computation.
# STATIC_DIR?=static/
# DRIVER_DIR?=ml_driver/
# DRIVER_FILES?=stubs.c common.ml m.ml read_test.ml main.ml
# C backend test harness features a binary comparison between the dumped computed raw data structure
# and a reference dump. This flag disables it, falling back to the FIP specified test results only.
# Useful when you don't have reference dumps.
# NO_BINARY_COMPARE=1
##################################################
# Exports
##################################################
# Export here variables you need in recursive make calls