diff --git a/src/configure b/src/configure
index dc00d003ebb3799cdd6f4aacce277f47d5d8fe41..6cf281ceb8006f4c39d4db1b85e9deff6e9c16bb 100755
--- a/src/configure
+++ b/src/configure
@@ -1304,6 +1304,7 @@ case "${host}" in
         *-*-linux*)     platform=LINUX ;;
         *-*-irix*)      platform=IRIX ;;
         *-*-aix*)       platform=AIX ;;
+        *-sequent-*)    platform=PTX ;;
         *-*-hp*)        platform=HPUX ;
                         case "${host}" in
                             *-*-hpux11*)  osver=HPUX11;;
@@ -1481,6 +1482,7 @@ util/Platforms/HPUX/Makefile \
 util/Platforms/OS390/Makefile \
 util/Platforms/OS400/Makefile \
 util/Platforms/IRIX/Makefile \
+util/Platforms/PTX/Makefile \
 util/Platforms/UnixWare/Makefile \
 util/Platforms/Tru64/Makefile \
 util/Compilers/Makefile \
@@ -1608,6 +1610,7 @@ util/Platforms/HPUX/Makefile \
 util/Platforms/OS390/Makefile \
 util/Platforms/OS400/Makefile \
 util/Platforms/IRIX/Makefile \
+util/Platforms/PTX/Makefile \
 util/Platforms/UnixWare/Makefile \
 util/Platforms/Tru64/Makefile \
 util/Compilers/Makefile \
diff --git a/src/configure.in b/src/configure.in
index 86a36f5aabe5f7f08ee1cffd504f053150591bf5..6e4ea12a7fce5da651eb17a1f95a4391290915d4 100644
--- a/src/configure.in
+++ b/src/configure.in
@@ -36,6 +36,7 @@ case "${host}" in
         *-*-linux*)     platform=LINUX ;;
         *-*-irix*)      platform=IRIX ;;
         *-*-aix*)       platform=AIX ;;
+        *-sequent-*)    platform=PTX ;;
         *-*-hp*)        platform=HPUX ;
                         case "${host}" in
                             *-*-hpux11*)  osver=HPUX11;;
@@ -101,6 +102,7 @@ util/Platforms/HPUX/Makefile \
 util/Platforms/OS390/Makefile \
 util/Platforms/OS400/Makefile \
 util/Platforms/IRIX/Makefile \
+util/Platforms/PTX/Makefile \
 util/Platforms/UnixWare/Makefile \
 util/Platforms/Tru64/Makefile \
 util/Compilers/Makefile \