Giter Club home page Giter Club logo

Comments (4)

GoogleCodeExporter avatar GoogleCodeExporter commented on May 18, 2024
Using g++ 4.9 via homebrew results in successful compilation. The generated 
makefile portion with the unexpected newlines should be fixed rather simply by 
editing the makefile code related to the loop on line 389.

Original comment by [email protected] on 10 Feb 2015 at 9:53

from alchemy-2.

GoogleCodeExporter avatar GoogleCodeExporter commented on May 18, 2024
Hi,


I use mac version 10.8.5. I installed g++ 4.9, and compile with "make depend; 
make." It still gives me error:
makefile:402: *** missing separator.  Stop.

Could you provide more information on how you use g++ 4.9 to compile please? 
Thank you.

Original comment by [email protected] on 12 May 2015 at 2:52

from alchemy-2.

GoogleCodeExporter avatar GoogleCodeExporter commented on May 18, 2024
Changing the GPP=g++ line in the makefile to GPP=g++-4.9 worked for me (after 
also following the instructions for MacOSX at 
http://alchemy.cs.washington.edu/requirements.html)

Original comment by [email protected] on 20 Jun 2015 at 12:40

from alchemy-2.

GoogleCodeExporter avatar GoogleCodeExporter commented on May 18, 2024
I followed the instructions for MacOSX and used g++-4.9, but I'm still getting 
the following error:

../src/parser/fol.y:2485.3-15: warning: extra characters in character literal 
[-Wother]
   'x^2 + x + 3'
   ^^^^^^^^^^^^^
mv -f fol.tab.c  ../src/parser/fol.cpp
../src/parser/replacefolcpp.pl ../src/parser/fol.cpp
g++-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic 
-I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer 
-I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes 
-I../src/liftedinfer/liftedblockedgibbs/includes 
-I../src/liftedinfer/liftedimportancesampling/includes 
-I../src/liftedinfer/liftedweightedmodelcounting/includes 
-I../src/liftedinfer/tests -o ../bin/obj/fol.o -c ../src/parser/fol.cpp
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y: In function 'int yylex()':
../src/parser/follex.y:165:10: error: 'ZZ_INCLUDE' was not declared in this 
scope
   return ZZ_INCLUDE;
          ^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:201:10: error: 'ZZ_IMPLY' was not declared in this scope
   return ZZ_IMPLY;
          ^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:210:10: error: 'ZZ_EQUIV' was not declared in this scope
   return ZZ_EQUIV;
          ^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:219:10: error: 'ZZ_EXIST' was not declared in this scope
   return ZZ_EXIST;
          ^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:228:10: error: 'ZZ_FORALL' was not declared in this scope
   return ZZ_FORALL;
          ^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:272:10: error: 'ZZ_NUM' was not declared in this scope
   return ZZ_NUM;  
          ^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:281:10: error: 'ZZ_NUM' was not declared in this scope
   return ZZ_NUM;
          ^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:290:10: error: 'ZZ_NUM' was not declared in this scope
   return ZZ_NUM;
          ^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:299:44: error: 'ZZ_CONSTANT' was not declared in this 
scope
   if (zzdomain->isConstant(yytext)) return ZZ_CONSTANT;
                                            ^
../src/parser/follex.y:300:10: error: 'ZZ_STRING' was not declared in this scope
   return ZZ_STRING;
          ^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:312:12: error: 'ZZ_TYPE' was not declared in this scope
     return ZZ_TYPE;
            ^
../src/parser/follex.y:317:12: error: 'ZZ_PREDICATE' was not declared in this 
scope
     return ZZ_PREDICATE; 
            ^
../src/parser/follex.y:322:12: error: 'ZZ_FUNCTION' was not declared in this 
scope
     return ZZ_FUNCTION;
            ^
../src/parser/follex.y:327:12: error: 'ZZ_CONSTANT' was not declared in this 
scope
     return ZZ_CONSTANT;
            ^
../src/parser/follex.y:330:10: error: 'ZZ_VARIABLE' was not declared in this 
scope
   return ZZ_VARIABLE;
          ^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:415:10: error: 'ZZ_DOTDOTDOT' was not declared in this 
scope
   return ZZ_DOTDOTDOT;
          ^
makefile:218: recipe for target '../bin/obj/fol.o' failed
make: *** [../bin/obj/fol.o] Error 1

Original comment by [email protected] on 3 Jul 2015 at 10:41

from alchemy-2.

Related Issues (14)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.