{"push_id":1839736338,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2053b28d3569c972166e48049c13383a2f57ad5a","before":"673e1f0a6200fb4c75b2b2fb050153d8b9bbbf9c","commits":[{"sha":"2053b28d3569c972166e48049c13383a2f57ad5a","author":{"name":"Matt Kaufmann","email":"bd583fcbd536fab052adf39b9ec3df6a76db0f1b@gmail.com"},"message":"Fixed misc/profiling.lisp to certify with github distributions of CCL (addressing GitHub Issue #744).\n\nGithub distributions of CCL do not include the contrib/ directory,\nwhich up till now has been assumed to exist by the book,\nbooks/misc/profiling.lisp.  My fix for this is a bit ugly, but\nadequate.  If there are additional such issues in the future I might\ntry to make a prettier fix, perhaps switching to the use of\ninclude-raw.  It didn't seem worth the effort to do that at this\npoint.\n\nI've had correspondence with a CCL developer.  If he decides to\ninclude contrib/ in future CCL distributions, then I'll probably\nrevert this change; but it seems more likely that he'll put contrib/\ninto its own github repository.  Attempts to use github CCL with the\nmisc/profiling book now result in messages pointing to that future\npossibility.","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/2053b28d3569c972166e48049c13383a2f57ad5a"}]}
{"actor":{"display_login":"MattKaufmann"}}