Writing an ASDF file for ACL2

Discussion of Common Lisp
Post Reply
ubikation
Posts: 2
Joined: Mon Jan 20, 2014 3:41 am

Writing an ASDF file for ACL2

Post by ubikation » 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

ubikation
Posts: 2
Joined: Mon Jan 20, 2014 3:41 am

Writing an ASDF file for ACL2

Post by ubikation » Mon Jan 20, 2014 4:39 am

Hello! I'm sorry if this is a double post, I thought I posted earlier.

I'm working on writing an ASDF file for ACL2 and I'm trying to figure out where to start.

It seems to make prodigious use of a makefile and a custom init file to build the system.

I am currently having trouble figuring out what sort of low hanging fruit I can work on. Right now I am working on replacing the make build script for acl2r and acl2r.lisp in the GNUMakefile.

https://github.com/ubikation/acl2-asdf
http://www.cs.utexas.edu/~moore/acl2/

Thank you very much for your time!

nuntius
Posts: 538
Joined: Sat Aug 09, 2008 10:44 am
Location: Newton, MA

Re: Writing an ASDF file for ACL2

Post by nuntius » Mon Jan 20, 2014 9:43 pm

Have you verified that the ACL2 authors would appreciate this change?

You could ask the ASDF developers about the feasibility of porting this Makefile.

Subscribe to the ASDF mailing list by sending an email to asdf-devel+subscribe at common-lisp.net.
After subscribing, tell them what you are interested in doing.

ASDF is like what other languages call a "build system".
Using it is different than writing normal CL code.
There might be better ways of learning CL.

Post Reply