YAP Memory
|
View:
New views
11 Messages
—
Rating Filter:
Alert me
|
 |
YAP Memory
by Pablo Beltran
::
Rate this Message:
Hi,
I'm trying to load a prolog file into YAP but YAP crashes and this message is shown: "% ERROR WITHIN ERROR: likely bug in YAP, segmentation violation" YAP version is 1.5.3 and it runs on Cygwin 1.5.25-15 version (on Windows Vista Professional SP1) There are a lot of facts in the file (> 6 millions) and the file size is > 600Mb. My machine has 1.5 Gb of RAM, but it seems not to be the problem: YAP crahses comsuming ~300 Mb RAM when +500Mb are free in my PC. Which are the limits for YAP? Are they stablished by the available hardware or by YAP itself? Best regards, Pablo. ------------------------------------------------------------------------------ Check out the new SourceForge.net Marketplace. It is the best place to buy or sell services for just about anything Open Source. http://p.sf.net/sfu/Xq1LFB _______________________________________________ Yap-users mailing list Yap-users@... https://lists.sourceforge.net/lists/listinfo/yap-users |
|
|
Re: YAP Memory
by Pablo Beltran
::
Rate this Message:
Hi again,
The win32 binaries can load the same prolog file, but it's much much much slower. In the Cygwin version I've stablihed the Heap area (-h param) to a higher value but the problem persists... Best regards, Pablo. 2009/1/5 Pablo Beltran <pbeltranl@...> Hi, ------------------------------------------------------------------------------ Check out the new SourceForge.net Marketplace. It is the best place to buy or sell services for just about anything Open Source. http://p.sf.net/sfu/Xq1LFB _______________________________________________ Yap-users mailing list Yap-users@... https://lists.sourceforge.net/lists/listinfo/yap-users |
|
|
Re: YAP Memory
by Pablo Beltran
::
Rate this Message:
Hi,
YAP on MinGW has not the memory problem. But it's very very slow compared with the Cygwin version. Therefore, if you have a lot of facts (millions) then the only usable version on Windows is the Cygwin ... Is it congruent with other user experiences on Windows platform? Best regards, Pablo. 2009/1/6 Pablo Beltran <pbeltranl@...> Hi again, ------------------------------------------------------------------------------ Check out the new SourceForge.net Marketplace. It is the best place to buy or sell services for just about anything Open Source. http://p.sf.net/sfu/Xq1LFB _______________________________________________ Yap-users mailing list Yap-users@... https://lists.sourceforge.net/lists/listinfo/yap-users |
|
|
Re: YAP Memory
by Vitor Santos Costa-2
::
Rate this Message:
Hi Pablo
Jut to make sure, do you have -Wl,--large-address-aware on the cygwin Makefile? This should allow YAP to ask for the maximum 3GB of memory. Cheers Vitor 2009/1/7 Pablo Beltran <pbeltranl@...>: > Hi, > > YAP on MinGW has not the memory problem. But it's very very slow compared > with the Cygwin version. > > Therefore, if you have a lot of facts (millions) then the only usable > version on Windows is the Cygwin ... Is it congruent with other user > experiences on Windows platform? > > Best regards, > Pablo. > > 2009/1/6 Pablo Beltran <pbeltranl@...> >> >> Hi again, >> >> The win32 binaries can load the same prolog file, but it's much much much >> slower. >> >> In the Cygwin version I've stablihed the Heap area (-h param) to a higher >> value but the problem persists... >> >> Best regards, >> Pablo. >> >> 2009/1/5 Pablo Beltran <pbeltranl@...> >>> >>> Hi, >>> >>> I'm trying to load a prolog file into YAP but YAP crashes and this >>> message is shown: >>> >>> "% ERROR WITHIN ERROR: likely bug in YAP, segmentation violation" >>> >>> YAP version is 1.5.3 and it runs on Cygwin 1.5.25-15 version (on >>> Windows Vista Professional SP1) >>> >>> There are a lot of facts in the file (> 6 millions) and the file size >>> is > 600Mb. >>> >>> My machine has 1.5 Gb of RAM, but it seems not to be the problem: YAP >>> crahses comsuming ~300 Mb RAM when +500Mb are free in my PC. >>> >>> Which are the limits for YAP? Are they stablished by the available >>> hardware or by YAP itself? >>> >>> Best regards, >>> Pablo. >> > > > ------------------------------------------------------------------------------ > Check out the new SourceForge.net Marketplace. > It is the best place to buy or sell services for > just about anything Open Source. > http://p.sf.net/sfu/Xq1LFB > _______________________________________________ > Yap-users mailing list > Yap-users@... > https://lists.sourceforge.net/lists/listinfo/yap-users > > ------------------------------------------------------------------------------ Check out the new SourceForge.net Marketplace. It is the best place to buy or sell services for just about anything Open Source. http://p.sf.net/sfu/Xq1LFB _______________________________________________ Yap-users mailing list Yap-users@... https://lists.sourceforge.net/lists/listinfo/yap-users |
|
|
Re: YAP Memory
by Pablo Beltran
::
Rate this Message:
Hi Vitor,
Yes. I've found this: LDFLAGS=-Wl,--large-address-aware Regards, Pablo. 2009/1/7 Vitor Santos Costa <vscosta@...> Hi Pablo ------------------------------------------------------------------------------ Check out the new SourceForge.net Marketplace. It is the best place to buy or sell services for just about anything Open Source. http://p.sf.net/sfu/Xq1LFB _______________________________________________ Yap-users mailing list Yap-users@... https://lists.sourceforge.net/lists/listinfo/yap-users |
|
|
Re: YAP Memory
by Vitor Santos Costa-2
::
Rate this Message:
Hi Pablo and Tony
I just updated the git stable YAP with a patch to make cygwin use VirtualAlloc. That should allow you to use more memory from cygwin. Tell me if it works. Cheers Vitor On Wed, Jan 7, 2009 at 6:25 PM, Pablo Beltran <pbeltranl@...> wrote: > Hi Vitor, > > Yes. I've found this: > > LDFLAGS=-Wl,--large-address-aware > > Regards, > Pablo. > > 2009/1/7 Vitor Santos Costa <vscosta@...> >> >> Hi Pablo >> >> Jut to make sure, do you have >> >> -Wl,--large-address-aware >> >> on the cygwin Makefile? >> >> This should allow YAP to ask for the maximum 3GB of memory. >> >> Cheers >> >> Vitor >> >> 2009/1/7 Pablo Beltran <pbeltranl@...>: >> > Hi, >> > >> > YAP on MinGW has not the memory problem. But it's very very slow >> > compared >> > with the Cygwin version. >> > >> > Therefore, if you have a lot of facts (millions) then the only usable >> > version on Windows is the Cygwin ... Is it congruent with other user >> > experiences on Windows platform? >> > >> > Best regards, >> > Pablo. >> > >> > 2009/1/6 Pablo Beltran <pbeltranl@...> >> >> >> >> Hi again, >> >> >> >> The win32 binaries can load the same prolog file, but it's much much >> >> much >> >> slower. >> >> >> >> In the Cygwin version I've stablihed the Heap area (-h param) to a >> >> higher >> >> value but the problem persists... >> >> >> >> Best regards, >> >> Pablo. >> >> >> >> 2009/1/5 Pablo Beltran <pbeltranl@...> >> >>> >> >>> Hi, >> >>> >> >>> I'm trying to load a prolog file into YAP but YAP crashes and this >> >>> message is shown: >> >>> >> >>> "% ERROR WITHIN ERROR: likely bug in YAP, segmentation violation" >> >>> >> >>> YAP version is 1.5.3 and it runs on Cygwin 1.5.25-15 version (on >> >>> Windows Vista Professional SP1) >> >>> >> >>> There are a lot of facts in the file (> 6 millions) and the file size >> >>> is > 600Mb. >> >>> >> >>> My machine has 1.5 Gb of RAM, but it seems not to be the problem: YAP >> >>> crahses comsuming ~300 Mb RAM when +500Mb are free in my PC. >> >>> >> >>> Which are the limits for YAP? Are they stablished by the available >> >>> hardware or by YAP itself? >> >>> >> >>> Best regards, >> >>> Pablo. >> >> >> > >> > >> > >> > ------------------------------------------------------------------------------ >> > Check out the new SourceForge.net Marketplace. >> > It is the best place to buy or sell services for >> > just about anything Open Source. >> > http://p.sf.net/sfu/Xq1LFB >> > _______________________________________________ >> > Yap-users mailing list >> > Yap-users@... >> > https://lists.sourceforge.net/lists/listinfo/yap-users >> > >> > > > ------------------------------------------------------------------------------ This SF.net email is sponsored by: SourcForge Community SourceForge wants to tell your story. http://p.sf.net/sfu/sf-spreadtheword _______________________________________________ Yap-users mailing list Yap-users@... https://lists.sourceforge.net/lists/listinfo/yap-users |
|
|
Re: YAP Memory
by Pablo Beltran
::
Rate this Message:
Hi Vitor,
This happen in my Cygwin environment: ================================================================================================================= $ make gcc -c -DBP_FREE -fno-gcse -fno-crossjumping -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I../H -I../OPTYap -I../BEAM -I../MYDDAS ../C/absmi.c -o absmi.o In file included from ../C/absmi.c:550: ../H/arith2.h: In function `p_div': ../H/arith2.h:798: error: structure has no member named `big_tmp' ../H/arith2.h:799: warning: implicit declaration of function `mpz_init_set_si' ../H/arith2.h:800: warning: implicit declaration of function `mpz_neg' ../H/arith2.h:801: warning: implicit declaration of function `RBIG' ../H/arith2.h:893: error: structure has no member named `big_tmp' make: *** [absmi.o] Error 1 ================================================================================================================= This has happened twice: first with gmp installed and second without gmp. The sources (the full mainline) have been downloaded a couple of hours ago. Best regards, Pablo.
2009/1/19 Vitor Santos Costa <vscosta@...> Hi Pablo and Tony ------------------------------------------------------------------------------ This SF.net email is sponsored by: SourcForge Community SourceForge wants to tell your story. http://p.sf.net/sfu/sf-spreadtheword _______________________________________________ Yap-users mailing list Yap-users@... https://lists.sourceforge.net/lists/listinfo/yap-users |
|
|
Re: YAP Memory
by Vitor Santos Costa-2
::
Rate this Message:
Hi Pablo
Sorry for the delay. This would happen if you don't have gmp installed only, though. It should have been fixed now. Thanks! Vitor PS: I have been fixing some weird overflows in YAP, that's why the change. On Thu, Jan 22, 2009 at 2:42 PM, Pablo Beltran <pbeltranl@...> wrote: > Hi Vitor, > > This happen in my Cygwin environment: > ================================================================================================================= > $ make > gcc -c -DBP_FREE -fno-gcse -fno-crossjumping -O3 -fomit-frame-pointer -Wall > -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 > -DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I../H -I../OPTYap -I../BEAM > -I../MYDDAS ../C/absmi.c -o absmi.o > In file included from ../C/absmi.c:550: > ../H/arith2.h: In function `p_div': > ../H/arith2.h:798: error: structure has no member named `big_tmp' > ../H/arith2.h:799: warning: implicit declaration of function > `mpz_init_set_si' > ../H/arith2.h:800: warning: implicit declaration of function `mpz_neg' > ../H/arith2.h:801: warning: implicit declaration of function `RBIG' > ../H/arith2.h:893: error: structure has no member named `big_tmp' > make: *** [absmi.o] Error 1 > ================================================================================================================= > > This has happened twice: first with gmp installed and second without gmp. > > The sources (the full mainline) have been downloaded a couple of hours ago. > > Best regards, > Pablo. > > > 2009/1/19 Vitor Santos Costa <vscosta@...> >> >> Hi Pablo and Tony >> >> I just updated the git stable YAP with a patch to make cygwin use >> VirtualAlloc. That should allow you to use more memory from cygwin. >> Tell me if it works. >> >> Cheers >> >> Vitor >> >> On Wed, Jan 7, 2009 at 6:25 PM, Pablo Beltran <pbeltranl@...> wrote: >> > Hi Vitor, >> > >> > Yes. I've found this: >> > >> > LDFLAGS=-Wl,--large-address-aware >> > >> > Regards, >> > Pablo. >> > >> > 2009/1/7 Vitor Santos Costa <vscosta@...> >> >> >> >> Hi Pablo >> >> >> >> Jut to make sure, do you have >> >> >> >> -Wl,--large-address-aware >> >> >> >> on the cygwin Makefile? >> >> >> >> This should allow YAP to ask for the maximum 3GB of memory. >> >> >> >> Cheers >> >> >> >> Vitor >> >> >> >> 2009/1/7 Pablo Beltran <pbeltranl@...>: >> >> > Hi, >> >> > >> >> > YAP on MinGW has not the memory problem. But it's very very slow >> >> > compared >> >> > with the Cygwin version. >> >> > >> >> > Therefore, if you have a lot of facts (millions) then the only usable >> >> > version on Windows is the Cygwin ... Is it congruent with other user >> >> > experiences on Windows platform? >> >> > >> >> > Best regards, >> >> > Pablo. >> >> > >> >> > 2009/1/6 Pablo Beltran <pbeltranl@...> >> >> >> >> >> >> Hi again, >> >> >> >> >> >> The win32 binaries can load the same prolog file, but it's much much >> >> >> much >> >> >> slower. >> >> >> >> >> >> In the Cygwin version I've stablihed the Heap area (-h param) to a >> >> >> higher >> >> >> value but the problem persists... >> >> >> >> >> >> Best regards, >> >> >> Pablo. >> >> >> >> >> >> 2009/1/5 Pablo Beltran <pbeltranl@...> >> >> >>> >> >> >>> Hi, >> >> >>> >> >> >>> I'm trying to load a prolog file into YAP but YAP crashes and this >> >> >>> message is shown: >> >> >>> >> >> >>> "% ERROR WITHIN ERROR: likely bug in YAP, segmentation violation" >> >> >>> >> >> >>> YAP version is 1.5.3 and it runs on Cygwin 1.5.25-15 version (on >> >> >>> Windows Vista Professional SP1) >> >> >>> >> >> >>> There are a lot of facts in the file (> 6 millions) and the file >> >> >>> size >> >> >>> is > 600Mb. >> >> >>> >> >> >>> My machine has 1.5 Gb of RAM, but it seems not to be the problem: >> >> >>> YAP >> >> >>> crahses comsuming ~300 Mb RAM when +500Mb are free in my PC. >> >> >>> >> >> >>> Which are the limits for YAP? Are they stablished by the available >> >> >>> hardware or by YAP itself? >> >> >>> >> >> >>> Best regards, >> >> >>> Pablo. >> >> >> >> >> > >> >> > >> >> > >> >> > >> >> > ------------------------------------------------------------------------------ >> >> > Check out the new SourceForge.net Marketplace. >> >> > It is the best place to buy or sell services for >> >> > just about anything Open Source. >> >> > http://p.sf.net/sfu/Xq1LFB >> >> > _______________________________________________ >> >> > Yap-users mailing list >> >> > Yap-users@... >> >> > https://lists.sourceforge.net/lists/listinfo/yap-users >> >> > >> >> > >> > >> > > > ------------------------------------------------------------------------------ This SF.net email is sponsored by: SourcForge Community SourceForge wants to tell your story. http://p.sf.net/sfu/sf-spreadtheword _______________________________________________ Yap-users mailing list Yap-users@... https://lists.sourceforge.net/lists/listinfo/yap-users |
|
|
Re: YAP Memory
by Pablo Beltran
::
Rate this Message:
Hi Vitor, Similar error happens: ================================================================================= gcc -c -DBP_FREE -fno-gcse -fno-crossjumping -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I../H -I../OPTYap -I../BEAM -I../MYDDAS ../C/absmi.c -o absmi.o In file included from ../C/absmi.c:550: ../H/arith2.h: In function `p_div': ../H/arith2.h:897: error: structure has no member named `big_tmp' ../H/arith2.h:898: warning: implicit declaration of function `mpz_init_set_si' ../H/arith2.h:899: warning: implicit declaration of function `mpz_neg' ../H/arith2.h:900: warning: implicit declaration of function `RBIG' make: *** [absmi.o] Error 1 ================================================================================= This is my version of gmp: ================================================================================= $ cygcheck -c gmp Cygwin Package Information Package Version Status gmp 4.2.4-1 OK ================================================================================= Best regards, Pablo 2009/1/25 Vitor Santos Costa <vscosta@...> Hi Pablo ------------------------------------------------------------------------------ This SF.net email is sponsored by: SourcForge Community SourceForge wants to tell your story. http://p.sf.net/sfu/sf-spreadtheword _______________________________________________ Yap-users mailing list Yap-users@... https://lists.sourceforge.net/lists/listinfo/yap-users |
|
|
Re: YAP Memory
by Vitor Santos Costa-2
::
Rate this Message:
Hi Pablo
I fixed the errors, I hope. Please try again. They sure seem to be caused by laking gmp. Have a look at your config.h, but it seems you don't have gmp configured. Maybe you installed gmp after doing configure? Cheers Vitor On Sun, Jan 25, 2009 at 11:07 AM, Pablo Beltran <pbeltranl@...> wrote: > > Hi Vitor, > > Similar error happens: > > ================================================================================= > gcc -c -DBP_FREE -fno-gcse -fno-crossjumping -O3 -fomit-frame-pointer -Wall > -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 > -DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I../H -I../OPTYap -I../BEAM > -I../MYDDAS ../C/absmi.c -o absmi.o > In file included from ../C/absmi.c:550: > ../H/arith2.h: In function `p_div': > ../H/arith2.h:897: error: structure has no member named `big_tmp' > ../H/arith2.h:898: warning: implicit declaration of function > `mpz_init_set_si' > ../H/arith2.h:899: warning: implicit declaration of function `mpz_neg' > ../H/arith2.h:900: warning: implicit declaration of function `RBIG' > make: *** [absmi.o] Error 1 > ================================================================================= > > This is my version of gmp: > > ================================================================================= > $ cygcheck -c gmp > Cygwin Package Information > Package Version Status > gmp 4.2.4-1 OK > ================================================================================= > > > Best regards, > Pablo > > 2009/1/25 Vitor Santos Costa <vscosta@...> >> >> Hi Pablo >> >> Sorry for the delay. This would happen if you don't have gmp installed >> only, though. It should have been fixed now. >> >> Thanks! >> >> Vitor >> >> PS: I have been fixing some weird overflows in YAP, that's why the change. >> >> On Thu, Jan 22, 2009 at 2:42 PM, Pablo Beltran <pbeltranl@...> >> wrote: >> > Hi Vitor, >> > >> > This happen in my Cygwin environment: >> > >> > ================================================================================================================= >> > $ make >> > gcc -c -DBP_FREE -fno-gcse -fno-crossjumping -O3 -fomit-frame-pointer >> > -Wall >> > -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 >> > -DRATIONAL_TREES=1 >> > -DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I../H -I../OPTYap -I../BEAM >> > -I../MYDDAS ../C/absmi.c -o absmi.o >> > In file included from ../C/absmi.c:550: >> > ../H/arith2.h: In function `p_div': >> > ../H/arith2.h:798: error: structure has no member named `big_tmp' >> > ../H/arith2.h:799: warning: implicit declaration of function >> > `mpz_init_set_si' >> > ../H/arith2.h:800: warning: implicit declaration of function `mpz_neg' >> > ../H/arith2.h:801: warning: implicit declaration of function `RBIG' >> > ../H/arith2.h:893: error: structure has no member named `big_tmp' >> > make: *** [absmi.o] Error 1 >> > >> > ================================================================================================================= >> > >> > This has happened twice: first with gmp installed and second without >> > gmp. >> > >> > The sources (the full mainline) have been downloaded a couple of hours >> > ago. >> > >> > Best regards, >> > Pablo. >> > >> > >> > 2009/1/19 Vitor Santos Costa <vscosta@...> >> >> >> >> Hi Pablo and Tony >> >> >> >> I just updated the git stable YAP with a patch to make cygwin use >> >> VirtualAlloc. That should allow you to use more memory from cygwin. >> >> Tell me if it works. >> >> >> >> Cheers >> >> >> >> Vitor >> >> >> >> On Wed, Jan 7, 2009 at 6:25 PM, Pablo Beltran <pbeltranl@...> >> >> wrote: >> >> > Hi Vitor, >> >> > >> >> > Yes. I've found this: >> >> > >> >> > LDFLAGS=-Wl,--large-address-aware >> >> > >> >> > Regards, >> >> > Pablo. >> >> > >> >> > 2009/1/7 Vitor Santos Costa <vscosta@...> >> >> >> >> >> >> Hi Pablo >> >> >> >> >> >> Jut to make sure, do you have >> >> >> >> >> >> -Wl,--large-address-aware >> >> >> >> >> >> on the cygwin Makefile? >> >> >> >> >> >> This should allow YAP to ask for the maximum 3GB of memory. >> >> >> >> >> >> Cheers >> >> >> >> >> >> Vitor >> >> >> >> >> >> 2009/1/7 Pablo Beltran <pbeltranl@...>: >> >> >> > Hi, >> >> >> > >> >> >> > YAP on MinGW has not the memory problem. But it's very very slow >> >> >> > compared >> >> >> > with the Cygwin version. >> >> >> > >> >> >> > Therefore, if you have a lot of facts (millions) then the only >> >> >> > usable >> >> >> > version on Windows is the Cygwin ... Is it congruent with other >> >> >> > user >> >> >> > experiences on Windows platform? >> >> >> > >> >> >> > Best regards, >> >> >> > Pablo. >> >> >> > >> >> >> > 2009/1/6 Pablo Beltran <pbeltranl@...> >> >> >> >> >> >> >> >> Hi again, >> >> >> >> >> >> >> >> The win32 binaries can load the same prolog file, but it's much >> >> >> >> much >> >> >> >> much >> >> >> >> slower. >> >> >> >> >> >> >> >> In the Cygwin version I've stablihed the Heap area (-h param) to >> >> >> >> a >> >> >> >> higher >> >> >> >> value but the problem persists... >> >> >> >> >> >> >> >> Best regards, >> >> >> >> Pablo. >> >> >> >> >> >> >> >> 2009/1/5 Pablo Beltran <pbeltranl@...> >> >> >> >>> >> >> >> >>> Hi, >> >> >> >>> >> >> >> >>> I'm trying to load a prolog file into YAP but YAP crashes and >> >> >> >>> this >> >> >> >>> message is shown: >> >> >> >>> >> >> >> >>> "% ERROR WITHIN ERROR: likely bug in YAP, segmentation >> >> >> >>> violation" >> >> >> >>> >> >> >> >>> YAP version is 1.5.3 and it runs on Cygwin 1.5.25-15 version (on >> >> >> >>> Windows Vista Professional SP1) >> >> >> >>> >> >> >> >>> There are a lot of facts in the file (> 6 millions) and the file >> >> >> >>> size >> >> >> >>> is > 600Mb. >> >> >> >>> >> >> >> >>> My machine has 1.5 Gb of RAM, but it seems not to be the >> >> >> >>> problem: >> >> >> >>> YAP >> >> >> >>> crahses comsuming ~300 Mb RAM when +500Mb are free in my PC. >> >> >> >>> >> >> >> >>> Which are the limits for YAP? Are they stablished by the >> >> >> >>> available >> >> >> >>> hardware or by YAP itself? >> >> >> >>> >> >> >> >>> Best regards, >> >> >> >>> Pablo. >> >> >> >> >> >> >> > >> >> >> > >> >> >> > >> >> >> > >> >> >> > >> >> >> > ------------------------------------------------------------------------------ >> >> >> > Check out the new SourceForge.net Marketplace. >> >> >> > It is the best place to buy or sell services for >> >> >> > just about anything Open Source. >> >> >> > http://p.sf.net/sfu/Xq1LFB >> >> >> > _______________________________________________ >> >> >> > Yap-users mailing list >> >> >> > Yap-users@... >> >> >> > https://lists.sourceforge.net/lists/listinfo/yap-users >> >> >> > >> >> >> > >> >> > >> >> > >> > >> > > > ------------------------------------------------------------------------------ This SF.net email is sponsored by: SourcForge Community SourceForge wants to tell your story. http://p.sf.net/sfu/sf-spreadtheword _______________________________________________ Yap-users mailing list Yap-users@... https://lists.sourceforge.net/lists/listinfo/yap-users |
|
|
Re: YAP Memory
by Pablo Beltran
::
Rate this Message:
Hi Vitor,
All OK! You were right. I had installed gmp libraries for runtime only. Then I've installed the gmp development libraries: ================================================================================= $ cygcheck -c libgmp-devel Cygwin Package Information Package Version Status libgmp-devel 4.2.4-1 OK ================================================================================= and then YAP compiles on Cygwin, Now, no memory problems happens when I load my fact database (> 6 millions of facts) nor compiling CHR library! Thanks a lot for your valuable help. Best regards, Pablo. 2009/1/25 Vitor Santos Costa <vscosta@...> Hi Pablo ------------------------------------------------------------------------------ This SF.net email is sponsored by: SourcForge Community SourceForge wants to tell your story. http://p.sf.net/sfu/sf-spreadtheword _______________________________________________ Yap-users mailing list Yap-users@... https://lists.sourceforge.net/lists/listinfo/yap-users |
| Free embeddable forum powered by Nabble | Forum Help |
