Fix for bug 707.

diff --git a/src/expr/mkexpr b/src/expr/mkexpr
index 4717b611dabd22bd8f5c373b31645bcfafa99a43..963e297b491ca845e44d87d183562cd6d0ec7118 100755 (executable)
--- a/src/expr/mkexpr
+++ b/src/expr/mkexpr
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # mkexpr
 # Morgan Deters <mdeters@cs.nyu.edu> for CVC4

diff --git a/src/expr/mkkind b/src/expr/mkkind
index d54aa3a839d2bba93b4f0484adc5e81bef5e8080..271c8bc7a9597c46ed3c40ee612fa471e767fc8d 100755 (executable)
--- a/src/expr/mkkind
+++ b/src/expr/mkkind
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # mkkind
 # Morgan Deters <mdeters@cs.nyu.edu> for CVC4

diff --git a/src/expr/mkmetakind b/src/expr/mkmetakind
index 5f003dcfb47acca829e976c4efeedd3e6e5cf837..3e06a88a50323dbe6b770bffda22c9eb39db3649 100755 (executable)
--- a/src/expr/mkmetakind
+++ b/src/expr/mkmetakind
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # mkmetakind
 # Morgan Deters <mdeters@cs.nyu.edu> for CVC4

diff --git a/src/main/util.cpp b/src/main/util.cpp
index e14b508de20ac963a828d295d9240af0b41cd4d0..d4c00cad2b375e6e17db894ebe799ecaddd87035 100644 (file)
--- a/src/main/util.cpp
+++ b/src/main/util.cpp
@@ -230,7 +230,7 @@ void cvc4_init() throw(Exception) {
 
 #ifndef __WIN32__
   stack_t ss;
-  ss.ss_sp = malloc(SIGSTKSZ);
+  ss.ss_sp = (char*) malloc(SIGSTKSZ);
   if(ss.ss_sp == NULL) {
     throw Exception("Can't malloc() space for a signal stack");
   }

diff --git a/src/theory/mkrewriter b/src/theory/mkrewriter
index 5db2e970d279ea2b0a5f6c3853cf9e8fc046ea10..ba623956fb607617af152bd510e599f6e2ff6e23 100755 (executable)
--- a/src/theory/mkrewriter
+++ b/src/theory/mkrewriter
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # mkrewriter
 # Morgan Deters <mdeters@cs.nyu.edu> for CVC4

diff --git a/src/theory/mktheorytraits b/src/theory/mktheorytraits
index 9107eb72da722c935b58e9780657f8d8aba2d137..983cfade43e895092ee4df96fe007c25a4e50ea9 100755 (executable)
--- a/src/theory/mktheorytraits
+++ b/src/theory/mktheorytraits
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # mktheorytraits
 # Morgan Deters <mdeters@cs.nyu.edu> for CVC4