[m-rev.] diff: don't install low-level C .par grades on MinGW

[Julien Fischer]

Branches: main, 11.01

Disable installation of low-level C .par grades on MinGW.
The use of pthreads-win32 and gcc's __thread extension results in
linking problems.

configure.in:
 	As above.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/configure.in,v
retrieving revision 1.575
diff -u -r1.575 configure.in
--- configure.in	19 Mar 2011 16:43:48 -0000	1.575
+++ configure.in	27 Apr 2011 01:56:23 -0000
@@ -3631,7 +3631,17 @@
  if test "$enable_par_grades" = yes -a "$CFLAGS_FOR_THREADS" != "" \
      -a "$MR_HAVE_PTHREAD_H" = 1
  then
-    LIBGRADES="$LIBGRADES hlc.par.gc $BEST_LLDS_BASE_GRADE.par.gc"
+    # The low-level C .par grades do not currently work with
+    # MinGW / pthreads-win32.
+    case "$FULLARCH" in
+        *mingw*)
+            LIBGRADES="$LIBGRADES hlc.par.gc"
+        ;;
+ 
+        *)
+            LIBGRADES="$LIBGRADES hlc.par.gc $BEST_LLDS_BASE_GRADE.par.gc"
+        ;;
+    esac
  fi

  # Add the .stseg (stack segments) version of the library.

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------