GNU bug report logs - #40403
emacs ada-mode : updated build.sh script.

Previous Next

Packages: ada-mode, emacs;

Reported by: Koen Meersman <koen.meersman <at> gmail.com>

Date: Fri, 3 Apr 2020 12:25:02 UTC

Severity: normal

Done: Stephen Leake <stephen_leake <at> stephe-leake.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Stephen Leake <stephen_leake <at> stephe-leake.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#40403: closed (emacs ada-mode : updated build.sh script.)
Date: Sun, 07 Jun 2020 21:25:02 +0000
[Message part 1 (text/plain, inline)]
Your message dated Sun, 07 Jun 2020 14:24:27 -0700
with message-id <86v9k2bmd0.fsf <at> stephe-leake.org>
and subject line closed by ada-mode version 7.1.3
has caused the debbugs.gnu.org bug report #40403,
regarding emacs ada-mode : updated build.sh script.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
40403: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=40403
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Koen Meersman <koen.meersman <at> gmail.com>
To: bug-gnu-emacs <at> gnu.org, ada-mode-users <at> nongnu.org
Subject: emacs ada-mode : updated build.sh script.
Date: Fri, 3 Apr 2020 13:46:00 +0200
[Message part 3 (text/plain, inline)]
Package: emacs, ada-mode

--

I have updated build.sh a bit:

  * if build.sh called with extra options then these options are passed to
gprbuild.
    (to allow using more CPU's, passing other gnat options, ... without
modifying the *.gpr files.)
  * Not using ' $GPR_PROJECT_PATH' to wisi directory, as GPR_PROJECT_PATH
is used by gprbuild. (and can point to own compiled gnatcoll_xref and
others)
  * Allow calling build.sh multiple times
           - first call gprclean, to clean project
           - not removing ' ada_lr1_parse_table.txt.gz'

If you agree on these changes, can someone apply this patch to ada-mode?

Thanks,

Koen

The patch :

--- build.sh.orig       2020-04-03 11:33:25.771222460 +0000
+++ build.sh    2020-04-03 11:34:37.337921847 +0000
@@ -1,29 +1,38 @@
 #!/bin/sh
 # Build executables for Ada mode.
+#    build.sh <other gprbuild options>
+#    e.g. 'build.sh -j0' : use all available processors to compile
+#         'build.sh -wn' : treat warnings as warnings.
+#         'build.sh -vh' : Verbose output (high verbosity)
 #
 # See install.sh for install
-
+#
 # In December 2016, GNATCOLL changed its Xref interface. First, the
 # GPR was split out; and second, one of the subprogram
 # interfaces.changed.
 #
+
 # Determine whether the split-out gnatcoll_xref.gpr is available.
+# To get ada-mode compiling with gnatcoll_xref, make sure the gnatcoll
directory is added to $GPR_PROJECT_PATH
+# i.e. the following file should exist: $GPR_PROJECT_PATH/gnatcoll_xref.gpr
 echo 'with "gnatcoll_xref"; abstract project check_xref is end
check_xref;' > check_xref.gpr;
-gprbuild -P check_xref.gpr > /dev/null 2>&1;
+gprbuild -f -P check_xref.gpr > /dev/null 2>&1;
 if test $? -eq 0 ; then HAVE_GNATCOLL_XREF="yes"; else
HAVE_GNATCOLL_XREF="no"; fi
-
 echo "HAVE_GNATCOLL_XREF=$HAVE_GNATCOLL_XREF"

+WISI_DIR="../wisi-3.0.1"
+TOP_GPR="ada_mode_wisi_parse.gpr"
+
 gnatprep -DHAVE_GNATCOLL_XREF=$HAVE_GNATCOLL_XREF
gpr_query-process_refresh.adb.gp gpr_query-process_refresh.adb

 # support for libadalang is still experimental
 gnatprep -DHAVE_GNATCOLL_XREF=$HAVE_GNATCOLL_XREF -DHAVE_LIBADALANG="no"
-DELPA="yes" ada_mode_wisi_parse.gpr.gp ada_mode_wisi_parse.gpr

-export GPR_PROJECT_PATH="../wisi-3.0.1"
+gnatprep -DELPA="yes" $WISI_DIR/wisi.gpr.gp $WISI_DIR/wisi.gpr

-gnatprep -DELPA="yes" $GPR_PROJECT_PATH/wisi.gpr.gp
$GPR_PROJECT_PATH/wisi.gpr
+gprclean -r -P $TOP_GPR -aP$WISI_DIR

-gprbuild -p -j8 -P ada_mode_wisi_parse.gpr
-gzip -d -q ada_lr1_parse_table.txt.gz
+gprbuild -p -j8 -P $TOP_GPR -aP $WISI_DIR "$@"

+gzip -c -d -q ada_lr1_parse_table.txt.gz >ada_lr1_parse_table.txt
 # end of file

---
Koen Meersman
Sint Lambertuslaan 85
2812 Muizen
+ 32 (0)15 34 66 08
+ 32 (0)476 60 69 30
koen.meersman <at> gmail.com
[Message part 4 (text/html, inline)]
[Message part 5 (message/rfc822, inline)]
From: Stephen Leake <stephen_leake <at> stephe-leake.org>
To: 40403-close <at> debbugs.gnu.org
Subject: closed by ada-mode version 7.1.3
Date: Sun, 07 Jun 2020 14:24:27 -0700
-- 
-- Stephe


This bug report was last modified 4 years and 346 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.