Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1diff -Naur algol68g-2.8.4-old/source/plotutils.c algol68g-2.8.4-new/source/plotutils.c 2--- algol68g-2.8.4-old/source/plotutils.c 2016-10-11 18:14:48.000000000 -0300 3+++ algol68g-2.8.4-new/source/plotutils.c 2021-07-30 02:42:29.762627511 -0300 4@@ -1026,10 +1026,10 @@ 5 X_COORD (&DEVICE (f)) = 0; 6 Y_COORD (&DEVICE (f)) = 0; 7 return (PLOTTER (&DEVICE (f))); 8- } else if (!strcmp (device_type, "gif")) { 9-/*------------------------------------+ 10-| Supported plotter type - pseudo GIF | 11-+------------------------------------*/ 12+ } else if (!strcmp (device_type, "gif") || !strcmp (device_type, "png")) { 13+/*-------------------------------------------+ 14+| Supported plotter type - pseudo GIF or PNG | 15++-------------------------------------------*/ 16 char *z = DEREF (char, &A68_PAGE_SIZE (&DEVICE (f))), size[BUFFER_SIZE]; 17 /* Establish page size */ 18 if (!scan_int (&z, &(WINDOW_X_SIZE (&DEVICE (f))))) { 19@@ -1067,7 +1067,7 @@ 20 (void) pl_setplparam (PLOTTER_PARAMS (&DEVICE (f)), "BITMAPSIZE", size); 21 (void) pl_setplparam (PLOTTER_PARAMS (&DEVICE (f)), "BG_COLOR", (void *) "black"); 22 (void) pl_setplparam (PLOTTER_PARAMS (&DEVICE (f)), "GIF_ANIMATION", (void *) "no"); 23- PLOTTER (&DEVICE (f)) = pl_newpl_r ("gif", NULL, STREAM (&DEVICE (f)), stderr, PLOTTER_PARAMS (&DEVICE (f))); 24+ PLOTTER (&DEVICE (f)) = pl_newpl_r (device_type, NULL, STREAM (&DEVICE (f)), stderr, PLOTTER_PARAMS (&DEVICE (f))); 25 if (PLOTTER (&DEVICE (f)) == NULL) { 26 diagnostic_node (A68_RUNTIME_ERROR, p, ERROR_DEVICE_CANNOT_OPEN); 27 exit_genie (p, A68_RUNTIME_ERROR);