Continue command line parsing.

diff --git a/src/Makefile.in b/src/Makefile.in
index 15e8006..1b838b1 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -17,6 +17,7 @@
 # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
 
 OBJECTS = \
+       utils.cmx \
        ast.cmx \
        parser.cmx \
        lexer.cmx \

diff --git a/src/main.ml b/src/main.ml
index 30ba31f..643e1b5 100644 (file)
--- a/src/main.ml
+++ b/src/main.ml
@@ -19,11 +19,13 @@
 
 open Printf
 
+open Utils
+
 let usage =
   "\
 goals: Build software.
 
- goals [-f Goalfile] ['var = value' ...] [target ...]
+ goals [-f Goalfile] ['var = value' ...] ['target' ...]
 
 For detailed help see goals(1).
 
@@ -50,6 +52,31 @@ let main () =
   (* Parse the input file. *)
   let file = Parse.parse_from_file filename in
 
-  Ast.print_file stdout file
+  Ast.print_file stdout file;
+
+  (* Find the target(s) to execute first. *)
+  let initial_targets = ref [] in
+  (* XXX Parse command line anon args here. XXX *)
+
+  (* If no initial target set on the command line, find
+   * the first goal in the file.
+   *)
+  List.iter (
+    function
+    | Ast.Goal (name, [], _, _, _) ->
+       if !initial_targets = [] then
+         initial_targets := name :: !initial_targets
+    | Ast.Goal (name, _, _, _, _) ->
+       if !initial_targets = [] then
+         failwithf "%s: first target ‘%s’ has parameters and so cannot be used as the default target"
+           filename name
+    | _ -> ()
+  ) file;
+
+  let initial_targets = List.rev !initial_targets in
+
+  eprintf "initial targets:";
+  List.iter (eprintf " %s") initial_targets;
+  eprintf "\n"
 
 let () = main ()

diff --git a/src/utils.ml b/src/utils.ml
new file mode 100644 (file)
index 0000000..c24d4ee
--- /dev/null
+++ b/src/utils.ml
@@ -0,0 +1,22 @@
+(* Goalfile utilities
+ * Copyright (C) 2019 Richard W.M. Jones
+ * Copyright (C) 2019 Red Hat Inc.
+ *
+ * This program 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 2 of the License, or
+ * (at your option) any later version.
+ *
+ * This program 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 this program; if not, write to the Free Software Foundation, Inc.,
+ * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
+ *)
+
+open Printf
+
+let failwithf fs = ksprintf failwith fs

diff --git a/src/utils.mli b/src/utils.mli
new file mode 100644 (file)
index 0000000..423847a
--- /dev/null
+++ b/src/utils.mli
@@ -0,0 +1,21 @@
+(* Goalfile utilities
+ * Copyright (C) 2019 Richard W.M. Jones
+ * Copyright (C) 2019 Red Hat Inc.
+ *
+ * This program 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 2 of the License, or
+ * (at your option) any later version.
+ *
+ * This program 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 this program; if not, write to the Free Software Foundation, Inc.,
+ * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
+ *)
+
+val failwithf : ('a, unit, string, 'b) format4 -> 'a
+(** Like [failwith] but supports printf-like arguments. *)