Just want to leave a note here.
I bootstrapped ATS2 using ATS1 on Cygwin-32 today
and also tested the build by issuing the following command-line:
make -C ${PATSHOME}/doc
It was all very smooth.
I did not have access to Cygwin-64.
Say you want to call patscc or patsopt from a non cygwin environment in
Windows. I am trying to do this with IntelliJ. Currently, I get the
following command and result:
Starting process ‘command
‘C:\cygwin64\home\brand_000\ATS-Postiats/bin/patscc’’. Working directory:
C:\cygwin64\home\brand_000\BIBCalc Command:
C:\cygwin64\home\brand_000\ATS-Postiats/bin/patscc -D_GNU_SOURCE
-DATS_MEMALLOC_LIBC -fPIC -IC:\cygwin64\home\brand_000\ATS-Postiats
-IC:\cygwin64\home\brand_000\ATS-Postiats/ccomp/runtime -IIATS
C:\cygwin64\home\brand_000\ATS-Postiats-contrib/contrib -c
Calculator_controller.dats
Successfully started process ‘command
‘C:\cygwin64\home\brand_000\ATS-Postiats/bin/patscc’’
fopen: No such file or directory
exit(ATS): [fopen(“/home/brand_000/BIBCalc/C:\cygwin64\home\brand_000\ATS-Postiats/prelude/params.hats”,
“r”)] failed
Is there anything obviously (or not so obviously) wrong with how patscc is
being called that is making it prepend the CWD to search paths internal to
patscc (or patsopt)?On Thursday, December 11, 2014 3:23:19 PM UTC-5, Brandon Barker wrote:
I’ve been using it on Cygwin-64, generally without trouble.
On Thu, Dec 11, 2014 at 3:16 PM, gmhwxi gmh...@gmail.com wrote:
Just want to leave a note here.
I bootstrapped ATS2 using ATS1 on Cygwin-32 today
and also tested the build by issuing the following command-line:make -C ${PATSHOME}/doc
It was all very smooth.
I did not have access to Cygwin-64.
–
You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/e55be1b7-60f4-4006-8570-bd56eee93572%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/e55be1b7-60f4-4006-8570-bd56eee93572%40googlegroups.com?utm_medium=email&utm_source=footer
.–
Brandon Barker
brandon...@gmail.com
I think the reason is that 'C:\cygwin64\home\brand_000' was not treated as
an absolute path by the code.
Maybe you could create some symbolic links to address the issue?On Fri, Dec 12, 2014 at 1:17 PM, Brandon Barker brandon...@gmail.com wrote:
Say you want to call patscc or patsopt from a non cygwin environment in
Windows. I am trying to do this with IntelliJ. Currently, I get the
following command and result:Starting process ‘command
‘C:\cygwin64\home\brand_000\ATS-Postiats/bin/patscc’’. Working directory:
C:\cygwin64\home\brand_000\BIBCalc Command:
C:\cygwin64\home\brand_000\ATS-Postiats/bin/patscc -D_GNU_SOURCE
-DATS_MEMALLOC_LIBC -fPIC -IC:\cygwin64\home\brand_000\ATS-Postiats
-IC:\cygwin64\home\brand_000\ATS-Postiats/ccomp/runtime -IIATS
C:\cygwin64\home\brand_000\ATS-Postiats-contrib/contrib -c
Calculator_controller.dats
Successfully started process ‘command
‘C:\cygwin64\home\brand_000\ATS-Postiats/bin/patscc’’
fopen: No such file or directory
exit(ATS): [fopen(“/home/brand_000/BIBCalc/C:\cygwin64\home\brand_000\ATS-Postiats/prelude/params.hats”,
“r”)] failedIs there anything obviously (or not so obviously) wrong with how patscc is
being called that is making it prepend the CWD to search paths internal to
patscc (or patsopt)?On Thursday, December 11, 2014 3:23:19 PM UTC-5, Brandon Barker wrote:
I’ve been using it on Cygwin-64, generally without trouble.
On Thu, Dec 11, 2014 at 3:16 PM, gmhwxi gmh...@gmail.com wrote:
Just want to leave a note here.
I bootstrapped ATS2 using ATS1 on Cygwin-32 today
and also tested the build by issuing the following command-line:make -C ${PATSHOME}/doc
It was all very smooth.
I did not have access to Cygwin-64.
–
You received this message because you are subscribed to the Google
Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send
an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/
msgid/ats-lang-users/e55be1b7-60f4-4006-8570-bd56eee93572%
40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/e55be1b7-60f4-4006-8570-bd56eee93572%40googlegroups.com?utm_medium=email&utm_source=footer
.–
Brandon Barker
brandon...@gmail.com–
You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/2c99f864-8757-4d9e-8385-45a6c09ce9df%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/2c99f864-8757-4d9e-8385-45a6c09ce9df%40googlegroups.com?utm_medium=email&utm_source=footer
.
I’ve been using it on Cygwin-64, generally without trouble.On Thu, Dec 11, 2014 at 3:16 PM, gmhwxi gmh...@gmail.com wrote:
Just want to leave a note here.
I bootstrapped ATS2 using ATS1 on Cygwin-32 today
and also tested the build by issuing the following command-line:make -C ${PATSHOME}/doc
It was all very smooth.
I did not have access to Cygwin-64.
–
You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/e55be1b7-60f4-4006-8570-bd56eee93572%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/e55be1b7-60f4-4006-8570-bd56eee93572%40googlegroups.com?utm_medium=email&utm_source=footer
.
Brandon Barker
brandon...@gmail.com