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
|
%%% -*- Erlang -*-
%%%---------------------------------------------------------------------
%%% Copyright 2010-2016 Manolis Papadakis <manopapad@gmail.com>,
%%% Eirini Arvaniti <eirinibob@gmail.com>
%%% and Kostis Sagonas <kostis@cs.ntua.gr>
%%%
%%% This file is part of PropEr.
%%%
%%% PropEr is free software: you can redistribute it and/or modify
%%% it under the terms of the GNU General Public License as published by
%%% the Free Software Foundation, either version 3 of the License, or
%%% (at your option) any later version.
%%%
%%% PropEr is distributed in the hope that it will be useful,
%%% but WITHOUT ANY WARRANTY; without even the implied warranty of
%%% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
%%% GNU General Public License for more details.
%%%
%%% You should have received a copy of the GNU General Public License
%%% along with PropEr. If not, see <http://www.gnu.org/licenses/>.
%%% Author: Manolis Papadakis
%%% Description: Options for rebar
%% WARNING: Our version of rebar does NOT automatically report warnings,
%% nor does it add erl_opts to eunit_compile_opts.
{erl_first_files, ["src/vararg.erl"]}.
{eunit_first_files, ["src/vararg.erl",
"src/proper_transformer.erl",
"src/proper_prop_remover.erl",
"src/proper_typeserver.erl"]}.
{erl_opts, [debug_info,
report_warnings, {warn_format,1}, warn_export_vars,
warn_obsolete_guard, warn_unused_import,
warn_missing_spec, warn_untyped_record]}.
{pre_hooks, [{"(linux|darwin|gnu)", compile, "make include/compile_flags.hrl"},
{"(freebsd|netbsd|openbsd|solaris|dragonfly)", compile, "make include/compile_flags.hrl"},
{"win32", compile, "escript.exe write_compile_flags include/compile_flags.hrl"}]}.
{post_hooks, [{clean, "./clean_doc.sh"}]}.
|
