Arc Forumnew | comments | leaders | submitlogin
3 points by kens 6063 days ago | link | parent

I gave arc2c a try, and it segfaults in END_JUMP with a -1 index when I try running an executable.

Am I using the right version? There's arc/arc2c in Anarki and there's arc2c off github.com/sacado/arc2c. Are they the same?



1 point by sacado 6063 days ago | link

Except if someone pushed it soon, arc2 on Anarki is not the current version. The up-to-date version is sacado/arc2c.

-----

3 points by kens 6062 days ago | link

How do you organize your directories for arc2c? In particular, where does Anarki go relative to arc2c? Do you overlap the git repositories? And then what directory do you start arc in? (I can't get the paths to work for the loads.)

-----

1 point by sacado 6062 days ago | link

I'm not sure I fully understand your question, but you are supposed to put all the arc2c files at the root level, where arc.sh lives, then load arc2c.sh and finally call (compile-file "foo.arc"). Tell me if I didn't answer your question or if you still get something wrong.

-----

2 points by almkglor 6062 days ago | link

minor correction: s/arc2c\.sh/arc2c\.arc/

To be specific:

  $ ls
  arc2c/ arc-wiki/
  $ cd arc-wiki/
  $ cp -r ../arc2c/* .
  $ ./arc.sh
  Use (quit) to quit, (tl) to return here after an interrupt.
  arc> (load "arc2c.arc")
  nil
  arc> (compile-file "t.arc")
   <lots of stuff>

-----

2 points by kens 6060 days ago | link

Yes, that's what I was looking for: where to put arc2c in the tree.

My next arc2c problems are a) gc.h is missing; do I need to download it somewhere? and b) ‘QUOTE_CONSTANTS’ undeclared - I can't figure out where it gets declared. I'm trying to compile simply "(+ 1 1)".

-----

1 point by almkglor 6060 days ago | link

a) Yes, you need the Boehm GC. What I do is, I comment out gc.h and add #define GC_MALLOC malloc #define GC_INIT()

b) That's a bug

-----

2 points by kens 6060 days ago | link

How do I push changes to the git? "git push" gives me "fatal: The remote end hung up unexpectedly". I set up a ssh public key. Do I need to get authorization from you guys? (I've never done a git push before, so assume I may be doing something stupid.)

-----

1 point by sacado 6059 days ago | link

You're on the collaborators' list now. Just push again, and everything should be working.

-----

1 point by stefano 6060 days ago | link

You'll have to ask sacado to add you to the list of committers.

-----