iostream.h: No such file or directory

Hello.
i tried to install murphi3.1 in opensuse 12.2.
i installed a package which i guess related to gcc. but when i try make mu file this error happen:
iostream.h: No such file or directory
i cant change it to iostream(becuse it contains a lot of cpp files and i dont konw where i can find iostream)

am i missing some component when install the gcc?
how can found out all gcc packages installed in my machine?
now how can fix it(without changing the code)
Thanks.

You have pretty few detail in your post. E.g. “which i guess related to gcc.” does not help to understand what you did. We need allways names and facts.

When you want to build software yourself, you at least need to install the Basic Developement Pattern:
Yast > Software > Software Management. Then from the View button choose Patterns. Scroll down to Developement and check the box before Basic Developement. Install.

This is also very cryptic: “then i try make mu file this error happen:iostream.h: No such file or directory”.
You should copy paste from the terminal emulator window the complete prompt, command, output and next prompt in between CODE tags in a post (you get the CODE tags by clicking on the # button in the toolbar above the post editor).
This is the best way to show us who you where, where you where, what you did and what happened.

you might get better replies if you have pointed out to the page from where you download the source files :slight_smile:

im sorry about my first thread(im new in opensuse)
however here i have some extra detail:
at first im trying to install murphy 3.1 which can access by this link: Murphi3.1.tar.Z
its too simple and contain 3 steps:
in src directory you should:

1) “make” or “make mu”

–> compile mu

2) “make install”

–> compile mu and copy to bin directory

3) “make clean”

–> remove all intermediate files

now when i tryed make mu this this error happened:
linux-s211:~/Desktop/Murphi3.1/src # make mu
g++ -c -O4 error.C
error.C:58:20: fatal error: stream.h: No such file or directory
compilation terminated.
make: *** [error.o] Error 1

i search and install all gcc packages in yast2.

if you need more detail please tell me(i used windows all my life and really don’t know anything about opensuse)

Where are the CODE tags around that piece of computer output???

Hi Bouki,

I had a quick look into it. That programme seems to be very old software. Sourcecodes states something like 1995. So will need to change a few lines yourself.

First of all you need libstdc+±devel:

sudo zypper in libstdc++-devel

Then, add this in error.C:


#include <iostream>
using namespace std;

and this in mu.C:

#include <new>
using namespace std;

I now get again an error stating, that stream.h is missing in rule.C. I’m afraid you have to go through all errors yourself.

Feel free to post more question regarding this.

Regards, Simon

Thanks dear simon for your attention.
i guess if i want go through all errors will be take a long time!
isnt any way to install this software without changing the codes?
can i use another linux distributions such as debian or something like this?
i guess if i want go through all errors will be take a long time!

I am not 100% sure if that is the software you want to get run, but if
it is I guess you have a much better chance with version 3.2.4 which is
from 2009
http://www.cs.utah.edu/formal_verification/EddyMurphi/


PC: oS 12.2 x86_64 | i7-2600@3.40GHz | 16GB | KDE 4.10.0 | GTX 650 Ti
ThinkPad E320: oS 12.2 x86_64 | i3@2.30GHz | 8GB | KDE 4.10.0 | HD 3000
eCAFE 800: oS 12.2 i586 | AMD Geode LX 800@500MHz | 512MB | KDE 3.5.10

Thanks dear martin. the new version is better. i install it without any error.
but when i tried to run an example again iostream error happend:

ux-s211:~/Desktop/Eddy_Murphi.3.2.4/ex/dash # make -f Makefile.FULL.bc adash; ./adash -m<m> -ndl
g++ -Wno-deprecated -DCATCH_DIV -DSYSCONF_RDCL -o adash adash.C -I…/…/include -lm
In file included from …/…/include/mu_prolog.inc:172:0,
from adash.C:20:
…/…/include/mu_verifier.h:67:20: fatal error: stream.h: No such file or directory
compilation terminated.
make: *** [adash] Error 1
bash: ./adash: No such file or directory

now im really confused!

If I were you I would contact Ganesh Gopalakrishnan
http://www.cs.utah.edu/formal_verification/ as it is stated that his
research group maintains the software and ask about how to make it work
on modern linux distributions with modern gnu compilers.
(I am myself not familiar with that software and just asked google if it
finds a more modern version than what you had).


PC: oS 12.2 x86_64 | i7-2600@3.40GHz | 16GB | KDE 4.10.0 | GTX 650 Ti
ThinkPad E320: oS 12.2 x86_64 | i3@2.30GHz | 8GB | KDE 4.10.0 | HD 3000
eCAFE 800: oS 12.2 i586 | AMD Geode LX 800@500MHz | 512MB | KDE 3.5.10

well thi is actually the same error as you’ve had before. As I said, the code is very old and doesn’t seem to be maintained. The GCC has been updated several times since then and doesn’t accept old code anymore.

As Martin stated, you can try to find a newer version or contact the core developers. But it shouldn’t be much work to go through all files and change

<stream.h>

to

<iostream>

.

Thanks again dear martin.
i sent an email to Ganesh Gopalakrishnan.
i hope respond to it.

finally i change all stream.h to iostream.
now it seems software worked.
but there is one more step:
i must boot MPI if it is not configured to boot automatically.
according to the guide i should use this command:mpdboot --totalnum=8 --file=$HOME/mpd.hosts

do you have any idea about this?