Subject: Re: [bug#27344] [PATCH 07/12] gnu: Add asco.

From: Danny Milosavljevic <[email-masked]>
Date: Thu, 15 Jun 2017 14:22:14 +0200

> +       #:make-flags '("all" "asco-mpi")

These are not actually flags.  I think the "install" phase would then also invoke

  make all asco-mpi install