Page 1 of 2 12 LastLast
Results 1 to 10 of 13

Thread: iostream.h: No such file or directory

  1. #1

    Default 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.

  2. #2
    Join Date
    Jun 2008
    Location
    Netherlands
    Posts
    24,894

    Default Re: iostream.h: No such file or directory

    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.
    Last edited by hcvv; 23-Feb-2013 at 06:39.
    Henk van Velden

  3. #3
    Join Date
    May 2010
    Location
    Space Colony Lagrange Point 22° à, 77° Ƅ, 56° ɤ, 99° ɜ
    Posts
    3,166

    Default Re: iostream.h: No such file or directory

    Quote Originally Posted by Bouki View Post
    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 might get better replies if you have pointed out to the page from where you download the source files :-)
    GNOME Version 3.20.2
    openSUSE Leap 42.3 64-bit

    www.vazhavandan.blogspot.com

  4. #4

    Default Re: iostream.h: No such file or directory

    Quote Originally Posted by vazhavandan View Post
    you might get better replies if you have pointed out to the page from where you download the source files :-)
    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)

  5. #5
    Join Date
    Jun 2008
    Location
    Netherlands
    Posts
    24,894

    Default Re: iostream.h: No such file or directory

    Quote Originally Posted by Bouki View Post
    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??????????????
    Henk van Velden

  6. #6
    Join Date
    Dec 2009
    Location
    Germany
    Posts
    84

    Default Re: iostream.h: No such file or directory

    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:
    Code:
    sudo zypper in libstdc++-devel
    Then, add this in error.C:
    Code:
    #include <iostream>
    using namespace std;
    and this in mu.C:
    Code:
    #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

  7. #7

    Default Re: iostream.h: No such file or directory

    Quote Originally Posted by SimonHeimbach View Post
    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:
    Code:
    sudo zypper in libstdc++-devel
    Then, add this in error.C:
    Code:
    #include <iostream>
    using namespace std;
    and this in mu.C:
    Code:
    #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!

  8. #8
    Join Date
    Feb 2010
    Location
    Germany
    Posts
    4,654

    Default Re: iostream.h: No such file or directory

    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

  9. #9

    Default Re: iostream.h: No such file or directory

    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!

  10. #10
    Join Date
    Feb 2010
    Location
    Germany
    Posts
    4,654

    Default Re: iostream.h: No such file or directory

    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

Page 1 of 2 12 LastLast

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •