LispForum

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

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