Menu

put *.sd7 and s7i in different directories?

retsyo
2007-04-17
2013-05-28
  • retsyo

    retsyo - 2007-04-17

    as the title says, I think it is clear in the released files

     
    • Thomas Mertes

      Thomas Mertes - 2007-05-08

      Hello

      The new version of Seed7 seed7_05_20070507.tgz does exactly
      that. The *.s7i files are in the 'seed7/lib' directory and
      there is an internal search path for include files in the
      'hi' interpreter. The place where the 'hi' interpreter is
      compiled determines also the main place for the *.s7i files.
      If you compile under /usr/local/src/seed7/src the directory
      /usr/local/src/seed7/lib is added to the include file search
      path.

      Greetings Thomas Mertes

      Homepage: http://seed7.sourceforge.net
      Project page: http://sourceforge.net/projects/

       

Log in to post a comment.

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.