Re: MPS make-thread

[Ihor Radchenko]

Eli Zaretskii <eliz@gnu.org> writes:
>> > Btw, is this the debug build of MPS or a production build?  IOW, is
>> > the second assertion, in mps_lib_assert_fail, expected in a production
>> > build?  AFAIU, that assertion is hit because we re-enter the arena,
>> > and its lock is already taken.
>> 
>> The backtrace I posted was a production build. (--with-mps=yes).
>
> I was asking how was the MPS library itself built.  IOW, what variant
> of the library did you link against?

No idea. I just did a dumb make install to get MPS.

$ ls /opt/mps/lib/
libmps.a  libmps-debug.a

-- 
Ihor Radchenko // yantar92,
Org mode contributor,
Learn more about Org mode at <https://orgmode.org/>.
Support Org development at <https://liberapay.com/org-mode>,
or support my work at <https://liberapay.com/yantar92>