Go Back   Computer Forums > General Computing > Programming
Join Computer forums Today

Thread Tools Search this Thread Display Modes
Old 03-03-2005, 02:32 PM   #1
Beta Member
Join Date: Mar 2005
Posts: 1
Send a message via MSN to Jfuentes
Default HyTech setup (Model check/model verification software)


Im trying to install Hytech in a computer. I need to run it under Cygwin. After setting up the Makefile-gmake to the right system, lexical analyzer, compilers, etc. I executed the "make -f Makefile-gmake" instruction. The following output came up:

make -f Makefile-gmake */ i typed this line
flex -l hytech.l */ this was the first that came out
bison -y -d hytech.y
hytech.y:115.16:warning:stray, , treated has white space
hytech.y:115.22:warning:stray, , treated has white space
hytech.y:503.10:syntax error, unexpected "|"
hytech.y:517.10:syntax error, unexpected "|"
make:***[y.tab.h] Error 1

following the README file I found that most common error (the only that is documented) was a type mismatch that could be fixed by setting the system, lexical analycer, parser, etc. I did all that and tried "flex" and "flex -l". Didn't work.
After some help and research i found "make:***[y.tab.h] Error 1" could be related to using bison instead of yacc. Didn't get to far, i even tried byacc and cmake to see what was the result even though i wasn't sure what to expect, didnt work. I know that "***" means fatal error but, I have no clue where/what could it be. What I know is those characters are (hytech.y) there but dont think that is the problem some how i'm messing up and something is not recognizing those characters...
Any ideas, comments, things to try? By the way, is there a way to debug a makefile, you know to go step by step to see where it gets stuck?

this is what i have:
cygwin 1.5.12-1
bison 20030307-1
flex 2.5.4a-3
gcc 3.4.1-1
gcc-core 3.4.1-1
gcc-g++ 3.4.1-1
make 3.80-1
Windows 2000 SP 4


Juan Fuentes
Jfuentes is offline   Reply With Quote

Thread Tools Search this Thread
Search this Thread:

Advanced Search
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are On
Pingbacks are On
Refbacks are Off

All times are GMT -5. The time now is 01:35 PM.

Powered by vBulletin® Version 3.8.8 Beta 4
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Search Engine Friendly URLs by vBSEO 3.6.0