Merge pull request #1 from acl2/master

Testing reverse pull request
Wacky Merge branch 'master' of https://github.com/ragerdl/acl2
Merge pull request #265 from ragerdl/beta

No changes
Added missing local special declaration of *default-hs* for ACL2(hp).

All I did was to add special declaration for *default-hs* under its
let-binding in consume-work-on-work-queue-when-there.  I agree that as
per CLHS, this shouldn't be necessary, though perhaps I'm missing
something.  (For example, I didn't check whether Lisp is required to
make special variables thread-local, so for all I know, maybe CCL has
a right not do that unless the special declaration is explicit.)

I'm surprised at Jared's comment, "But that doesn't seem to work
either", when he tried something similar.  But anyhow, this fix
seems to work.
Removed ignorable declaration for *default-hs* in let-binding in consume-work-on-work-queue-when-there, now that suitable special declaration is present.
Fix oversight with REALLY_USE_QUICKLISP in makefile
remove ansi_only from oslib cert.acl2,
this may break the gcl build temporarily but I think it's the right thing to do...
More aggressive fix for *default-hs*, and miscellaneous tweaks for ACL2(hp).

Various mods now prevent _some_ ACL2(hp) regression errors.  However,
I still get "Not owner of hash table" in some book certification
attempts for ACL2(hp), even when *default-hs* is introduced with
defvar in parallel-raw.lisp before the definition of
consume-work-on-work-queue-when-there.  I spent quite some time today
trying to figure out why we still get that error, and got virtually
nowhere, though from the debugger I can see that it's from
hl-hspace-hons-get.  Since ACL2(hp) is labeled "experimental" and I
have other things to do, I'm moving on; besides, I think it's been a
long time since an ACL2(hp) regression passed.  If someone cares to
deal with that, great!
Adding documentation for with[out]-waterfall-parallelism.

Fixes #266
Adding licenses to a with[out]-waterfall-parallelism.lisp.

Fixes #267
Include xdoc in with-waterfall-parallelism

I forgot to include the book.
Fix defunct call of mf-note-arity in watch-raw.lsp, to avoid
problems with SBCL regression

Maybe we should get rid of this watch stuff, yo.
avoid trying to certify read-string on gcl-cltl1 since that doesn't work
fix stupid typo in my fix...
Merge pull request #268 from ragerdl/master

2 CLs
avoid trying to certify getpid on gcl-cltl1 since that doesn't work
another gcl-cltl1 fix
Trivial change to test methodology
Merge pull request #269 from ragerdl/beta

Trivial change to test methodology
Fix bug with define

Thanks for the bug report.

Define was attempting to arity-check the number of :returns given in a
returns-specifier against the stobjs-out property of the function.

This is normally a good thing to do, but doesn't work in the case of
multiply-valued non-executable functions, because their stobjs-out property
always looks like (NIL), presumably because MV is just LIST in a non-executable
setting.

This just patches define not to do this check in the case of non-executable
functions.  I think this is about as good as we can do, since in principle a
non-executable function doesn't need to have a consistent number of return
values, e.g.,

  (defun-nx f (x)
    (if x
        x        ;; one return value
      (mv x x))) ;; two return values

This resolves #270.  There are new cases in std/util/tests/define to verify the
fix.