Writing an ASDF file for ACL2
Posted: Mon Jan 20, 2014 3:48 am
First of all, I really don't know how to do this, but I thought it would be a great way to start learning CL.
I've read a bit about ASDF2 and I'm having a lot of trouble understanding how to translate a makefile into an ASD file.
I guess my biggest problem is figuring what sort of low hanging fruit I should be able to tackle... because frankly it all seems a bit too complex. I was wondering if someone could point at a function or something that looks like it has no dependencies?
I've been working on translating aclr2.lisp file in the GNUMakefile, as that seems like a good starting point to me.
Thank you for your time!
http://www.cs.utexas.edu/~moore/acl2/ <- library
https://github.com/ubikation/acl2-asdf <- my half assery
I've read a bit about ASDF2 and I'm having a lot of trouble understanding how to translate a makefile into an ASD file.
I guess my biggest problem is figuring what sort of low hanging fruit I should be able to tackle... because frankly it all seems a bit too complex. I was wondering if someone could point at a function or something that looks like it has no dependencies?
I've been working on translating aclr2.lisp file in the GNUMakefile, as that seems like a good starting point to me.
Thank you for your time!
http://www.cs.utexas.edu/~moore/acl2/ <- library
https://github.com/ubikation/acl2-asdf <- my half assery