Replace dependency ciaodbg_extra by profilercc (when needed)

jfmc · jfmc · commit 6e59372a1bff · 2024-07-22T19:22:33.000+02:00
Src-commit: c5f1362417e5b6baf98a817a2fb7fd65d1f2d264
diff --git a/Manifest/Manifest.pl b/Manifest/Manifest.pl
@@ -2,7 +2,7 @@
 % An ISO Prolog test suite for Ciao
 version('1.23.0'). % (same as 'core')
 depends([
-  ciaodbg_extra
+  core
 ]).
 alias_paths([
   iso_tests = src
diff --git a/doc/SETTINGS.pl b/doc/SETTINGS.pl
@@ -4,7 +4,6 @@
 
 :- include(core_docsrc(docpaths)).
 
-filepath := at_bundle(ciaodbg_extra, 'lib').
 filepath := ~ciaofilepath_common.
 
 output_name := 'iso_tests'.
diff --git a/playground/iso_tests.html b/playground/iso_tests.html
@@ -23,7 +23,7 @@
       // Query for loading code
       var toplevelCfg = {
         // Bundles required for this playground
-        init_bundles: ['ciaowasm', 'core', 'builder', 'ciaodbg_extra', 'iso_tests'],
+        init_bundles: ['ciaowasm', 'core', 'builder', 'iso_tests'],
         // Initialization queries
         init_queries: [
         ]

Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@`
`23`	`23`	`// Query for loading code`
`24`	`24`	`var toplevelCfg = {`
`25`	`25`	`// Bundles required for this playground`
`26`		`- init_bundles: ['ciaowasm', 'core', 'builder', 'ciaodbg_extra', 'iso_tests'],`
	`26`	`+ init_bundles: ['ciaowasm', 'core', 'builder', 'iso_tests'],`
`27`	`27`	`// Initialization queries`
`28`	`28`	`init_queries: [`
`29`	`29`	`]`