Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Change what the main targets do and introduce a 'fast' one

  • Loading branch information...
commit 982757a7d492d2338ccb78367750a081ce037f2a 1 parent cc2f6b5
@kostis kostis authored
Showing with 6 additions and 4 deletions.
  1. +6 −4 Makefile
View
10 Makefile
@@ -17,14 +17,16 @@
# 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
+# Author(s): Manolis Papadakis, Kostis Sagonas
# Description: Instructions for make
-.PHONY: default all compile dialyzer check_escripts tests doc clean distclean rebuild retest
+.PHONY: default fast all get-deps compile dialyzer check_escripts tests doc clean distclean rebuild retest
-default: get-deps compile
+default: fast dialyzer
-all: compile doc
+fast: get-deps compile
+
+all: default doc tests
include/compile_flags.hrl:
./write_compile_flags $@
Please sign in to comment.
Something went wrong with that request. Please try again.