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

[Julien Fischer]

Branches: main, 11.07

configure.in:
 	Don't disable the low-level C .par grades on MinGW since
 	they now work.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/configure.in,v
retrieving revision 1.594
diff -u -r1.594 configure.in
--- configure.in	3 Oct 2011 05:07:21 -0000	1.594
+++ configure.in	3 Oct 2011 12:14:56 -0000
@@ -3703,17 +3703,7 @@
  if test "$enable_par_grades" = yes -a "$CFLAGS_FOR_THREADS" != "" \
      -a "$MR_HAVE_PTHREAD_H" = 1
  then
-    # 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
+    LIBGRADES="$LIBGRADES hlc.par.gc $BEST_LLDS_BASE_GRADE.par.gc"
  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
--------------------------------------------------------------------------