Merge pull request #4219 from robstewart57/docs-debug-symbols
Documents how to include debugging symbols
commit4c79980ce10cf936782b4b02da40226dbaddb1a8
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateThu 30 Nov 2017, 12:45 (9 years ago)
parent325e4fd34da9c5
docs/tutorial/miscellany.rst+8
@@ -366,6 +366,14 @@ is shown below :
366366 main = do
367367 putStrLn $ show $ factorial 3
368368
369+To compile the generated C with debugging information e.g. to use
370+``gdb`` to debug segmentation faults in Idris programs, use the
371+``%flag C`` pragma to include debugging symbols, as is shown below :
372+
373+.. code-block:: idris
374+
375+ %flag C "-g"
376+
369377JavaScript Target
370378=================
371379