ATS and Cygwin

[gmhwxi]

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.

[Brandon Barker]

I've been using it on Cygwin-64, generally without trouble.

--
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.

--

Brandon Barker
brandon...@gmail.com

[Brandon Barker]

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-users+unsubscribe@googlegroups.com.
To post to this group, send email to ats-lang-users@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.

--

Brandon Barker
brandon...@gmail.com

[Hongwei Xi]

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?

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.