Comments (7)
What exactly did you do to arrive at that? Did you follow the instructions in the build readme exactly?
from portacle.
Of course, from build/README.md, with all dependencies installed.
Let me know if I can produce some gcc output by increasing the verbosity.
Edit: there's what's the kernel said and it seems not good at all, however seems not coming from emacs
[10851.403755] temacs[5825]: segfault at 73dfc4 ip 00007ffff2c14e31 sp 00007fffffffcfb8 error 4 in libc-2.24.so[7ffff2aec000+195000]
I'm going to upgrade right now and let you informed if it resolves the problem :)
from portacle.
Okay, it did exacly the same segfault after upgrading Debian, rebooting, "./build.sh clean" and "./build".
from portacle.
I'm not sure that this is a problem related to Portacle per se. It looks much more like a bug in Emacs itself. Unfortunately I'm not familiar with its inner workings, so I'm pretty much as much in the dark about this problem as you are.
If you do want to dive into this, you'll have to google around and see if you can dig up anything.
from portacle.
I'll take a look tomorrow if I can find the time! It will be the opportunity to test on my work machine (Debian 8). There's effectively something faulty between emacs and the installed libc, I'll check with another emacs tag too then.
from portacle.
It's a bug related to emacs concerning a strange syscall named "personality" The workaround would be to disable ยซ randomize_va_space ยป feature by doing:
echo 0 > /proc/sys/kernel/randomize_va_space
(even if it's not successful on each try..., It worked at least once for obscure reasons)
https://lists.gnu.org/archive/html/bug-gnu-emacs/2016-05/msg00707.html
More explanations can be found there:
https://lists.gnu.org/archive/html/bug-gnu-emacs/2016-05/msg00893.html
I'm closing the ticket since it's not related to portacle! Thanks for your work and sharing your passion. See you o/
xs
from portacle.
That's interesting. Can you see whether changing the kernel parameter circumvents #18 as well?
from portacle.
Related Issues (20)
- suggestion - languages and command-log
- reopen last session HOT 3
- Getting this issue when trying to run code HOT 1
- request: provide homebrew formula HOT 1
- installation on macos involves authorizing every subprogram and dylib HOT 5
- it doesn't work on- Mac OS 11.4(bigSur)... HOT 4
- Can' load osicat on win10 HOT 3
- Add diff program to windows to allow for use of M-x ediff or M-x merge
- git clone ssh:// does not work on windows HOT 4
- Quicklisp can't find binaries(is this the right term?) HOT 3
- Help needed: how to install Quickload-Libraries offline HOT 3
- emacs-nox based Portacle? HOT 1
- Font settings not saving HOT 2
- neotree icons messed up
- Is there a way to set up portacle to switch between SBCL and ECL? HOT 3
- [Windows] Hide startup terminal HOT 6
- Is it possible to run from a docker container?
- noob needs help loading ql
- How to add portacle.desktop to my launcher in Ubuntu
- Error when trying to push a repository to github from Windows (10.0.19045)
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. ๐๐๐
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google โค๏ธ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from portacle.