Maude-help mailing list

[Michael George Hart <michael.george.hart AT gmail.com>]

This is a guide that primary to shows you how to build Maude system for the MS Windows, what is learned here can be applied to the UNIX/LINUX environment

If you are able to improve upon what I have done; please do so and add it to the Maude documentation

cygwin 2.5.1 what I used as my build environment under MS Windows. Doing the command "uname"

$ uname -srvm

CYGWIN_NT-6.1 2.5.1(0.297/5/3) 2016-04-21 22:14 x86_64

./configure  --build=x86_64-pc-cygwin --host=x86_64-pc-cygwin --target=x86_64-pc-cygwin CFLAGS="-O2 -D_POSIX_C_SOURCE=1"

Manual setting of --build, --host and --target configuration parameters were required because the configuration scripts were having problems discovering the respective parameters.  A quick and dirty way to discover those parameters is run "gcc -v" at the command line and copy the desire parameters displayed.

 

On my installation of cygwin gcc -v showed "--build=x86_64-pc-cygwin --host=x86_64-pc-cygwin --target=x86_64-pc-cygwin" so for all libraries and maude I appended "--build=x86_64-pc-cygwin --host=x86_64-pc-cygwin --target=x86_64-pc-cygwin" to configuration

 

NOTE: I use the make option "-j" to improve build time in all cases.

 

 Building BuDDy

https://sourceforge.net/projects/buddy/

tar -xvzf <buddy tar gz file>
cd <BuDDy extract directory>
./configure  --build=x86_64-pc-cygwin --host=x86_64-pc-cygwin --target=x86_64-pc-cygwin

make -j12

make install

 

Building Tecla

http://www.astro.caltech.edu/~mcs/tecla/index.html

tar -xvzf <libtecla tar gz file>
cd <libTecla extract directory>
./configure  --build=x86_64-pc-cygwin --host=x86_64-pc-cygwin --target=x86_64-pc-cygwin CFLAGS="-O2 -D_POSIX_C_SOURCE=1"

cat \

make TARGETS=normal TARGET_LIBS=static install

 

Building CVC4

This is an optional module for the Maude System. I would not recommend you building it unless you truly desire its features in the Maude System; it takes forever to build and cause extensive start up time for the Maude System... see the Maude INSTALL/README

http://cvc4.cs.nyu.edu/web/

To build CVC4, you will first need to install and build the ANTLR3 C runtime libantlr3c-3.4.tar.gz which can be found here http://www.antlr3.org/download.html and then navigate to here  http://www.antlr3.org/download/C/

Performing the following commands will get the ANTLR3 C runtime installed into your cygwin system:

tar -xvzf libantlr3c-3.4.tar.gz

cd <libantlr3 extract directory>

./configure  --build=x86_64-pc-cygwin --host=x86_64-pc-cygwin --target=x86_64-pc-cygwin

make -j12

make install

 

Now you are ready to build cvc4

tar -xvzf cvc4-2016-12-15.tar.gz

cd <cvc4 extract directory>

./configure  --build=x86_64-pc-cygwin --host=x86_64-pc-cygwin --target=x86_64-pc-cygwin --enable-language-bindings=c,c++

make -j12

make install

 

Building Maude

tar -xvzf Maude-2.7.1.tar.gz

cd <maude extract directory>

mkdir build

cd build

 

if you want maude without cvc4 do the following:

../configure  --build=x86_64-pc-cygwin --host=x86_64-pc-cygwin --target=x86_64-pc-cygwin --with-cvc4=no BUDDY_LIB=/usr/local/lib/libbdd.a TECLA_LIBS="/usr/local/lib/libtecla.a -lcurses"

 

with cvc4

../configure  --build=x86_64-pc-cygwin --host=x86_64-pc-cygwin --target=x86_64-pc-cygwin CVC4_LIB=/usr/local/lib/libcvc4.a BUDDY_LIB=/usr/local/lib/libbdd.a TECLA_LIBS="/usr/local/lib/libtecla.a -lcurses"

 

make -j12

 

NOTE: On my system I eventually get an error (see the message I get above) when the error I start make without the "-j12" ... there seems to be a problem with the multi threading when the make file is being executed for bison.... just enter make again at the command line to continue the process

 make

make install

NOTE: The error I eventually get when using make -j12 building the maude sytem

../../../src/Mixfix/top.yy \

../../../src/Mixfix/modules.yy \

../../../src/Mixfix/commands.yy \

../../../src/Mixfix/bottom.yy \

> surface.yy

bison -dv surface.yy -o surface.c

bison -dv surface.yy -o surface.c

mv surface.c surface.cc

mv surface.c surface.cc

flex -t -p -p ../../../src/Mixfix/lexer.ll > lexer.cc

mv: cannot stat 'surface.c': No such file or directory

Makefile:1324: recipe for target 'surface.cc' failed

make[3]: *** [surface.cc] Error 1

 

 

ll that is left to do is tell the Maude System where the prelude.maude and associated files are found.

export MAUDE_LIB=/usr/local/share

Good luck

Could some one please add these instruction to the Maude System Wiki

Thanks

Michael

--

"...Hope is what makes us strong. It is why we are here. It is what we fight with when all is lost..."