chore: migrate build tooling from dfx to icp-cli

.github/workflows/e2e-test-nodejs.yml

@@ -31,10 +31,33 @@ jobs:
       - name: Setup PNPM
         uses: dfinity/ci-tools/actions/setup-pnpm@main
 
-      - name: Setup DFX
-        uses: dfinity/setup-dfx@main
+      - name: Install ICP CLI tools
+        run: pnpm add -g @icp-sdk/icp-cli @icp-sdk/ic-wasm
+
+      - name: Cache Mops
+        uses: actions/cache@v4
+        with:
+          path: |
+            ~/.cache/mops
+            ~/Library/Caches/mops
+            .mops
+          key: mops-${{ runner.os }}-${{ runner.arch }}-${{ hashFiles('mops.toml') }}
+
+      - name: Setup Motoko toolchain
+        run: |
+          pnpm add -g ic-mops
+          mops install
+
+      - name: Cache Cargo
+        uses: actions/cache@v4
         with:
-          dfx-version: 'auto'
+          path: |
+            ~/.cargo/registry
+            target
+          key: cargo-${{ runner.os }}-${{ runner.arch }}-${{ hashFiles('**/Cargo.lock') }}
+
+      - name: Add wasm32 Rust target
+        run: rustup target add wasm32-unknown-unknown
 
       - name: Build
         run: pnpm run build
@@ -64,10 +87,33 @@ jobs:
         shell: bash
         run: bun i --frozen-lockfile
 
-      - name: Setup DFX
-        uses: dfinity/setup-dfx@main
+      - name: Install ICP CLI tools
+        run: bun add -g @icp-sdk/icp-cli @icp-sdk/ic-wasm
+
+      - name: Cache Mops
+        uses: actions/cache@v4
+        with:
+          path: |
+            ~/.cache/mops
+            ~/Library/Caches/mops
+            .mops
+          key: mops-${{ runner.os }}-${{ runner.arch }}-${{ hashFiles('mops.toml') }}
+
+      - name: Setup Motoko toolchain
+        run: |
+          bun add -g ic-mops
+          mops install
+
+      - name: Cache Cargo
+        uses: actions/cache@v4
         with:
-          dfx-version: 'auto'
+          path: |
+            ~/.cargo/registry
+            target
+          key: cargo-${{ runner.os }}-${{ runner.arch }}-${{ hashFiles('**/Cargo.lock') }}
+
+      - name: Add wasm32 Rust target
+        run: rustup target add wasm32-unknown-unknown
 
       - name: Build
         run: bun run build

.gitignore

@@ -1,4 +1,5 @@
-/.dfx/
+/.icp/cache/
+/.mops/
 /node_modules/
 /target/
 

examples/clock/clock.did

@@ -0,0 +1,3 @@
+service : {
+  get : () -> (int) query;
+}

examples/clock/src/main.mo

@@ -1,5 +1,5 @@
-import Time "mo:base/Time";
-import { setTimer; recurringTimer } = "mo:base/Timer";
+import Time "mo:core/Time";
+import { setTimer; recurringTimer } = "mo:core/Timer";
 
 persistent actor Clock {
   private type Time = Time.Time;

examples/clock/tests/src/clock.spec.ts

@@ -11,11 +11,10 @@ const WASM_PATH = resolve(
   '..',
   '..',
   '..',
-  '.dfx',
-  'local',
-  'canisters',
+  '.icp',
+  'cache',
+  'artifacts',
   'clock',
-  'clock.wasm.gz',
 );
 
 describe('Clock', () => {

examples/counter/counter.did

@@ -0,0 +1,6 @@
+service : (nat) -> {
+  get : () -> (nat) query;
+  set : (nat) -> ();
+  inc : () -> ();
+  dec : () -> ();
+}

examples/counter/src/main.mo

@@ -1,4 +1,4 @@
-import Nat "mo:base/Nat";
+import Nat "mo:core/Nat";
 
 persistent actor class Counter(initial_count : Nat) {
   private var counter = initial_count;

examples/counter/tests/src/counter.spec.ts

@@ -12,11 +12,10 @@ const WASM_PATH = resolve(
   '..',
   '..',
   '..',
-  '.dfx',
-  'local',
-  'canisters',
+  '.icp',
+  'cache',
+  'artifacts',
   'counter',
-  'counter.wasm.gz',
 );
 
 describe('Counter', () => {

examples/google_search/google_search.did

@@ -0,0 +1,20 @@
+type HttpHeader = record {
+  name : text;
+  value : text;
+};
+
+type CanisterHttpResponsePayload = record {
+  status : nat;
+  headers : vec HttpHeader;
+  body : vec nat8;
+};
+
+type TransformArgs = record {
+  response : CanisterHttpResponsePayload;
+  context : blob;
+};
+
+service : {
+  google_search : () -> (text);
+  transform : (TransformArgs) -> (CanisterHttpResponsePayload) query;
+}

examples/google_search/src/main.mo

@@ -1,5 +1,5 @@
-import Blob "mo:base/Blob";
-import Text "mo:base/Text";
+import Blob "mo:core/Blob";
+import Text "mo:core/Text";
 import Types "types";
 
 persistent actor {

examples/google_search/tests/src/google-search.spec.ts

@@ -10,11 +10,10 @@ const WASM_PATH = resolve(
   '..',
   '..',
   '..',
-  '.dfx',
-  'local',
-  'canisters',
+  '.icp',
+  'cache',
+  'artifacts',
   'google_search',
-  'google_search.wasm.gz',
 );
 
 describe('GoogleSearch', () => {

examples/icp_features/tests/src/icp-features.spec.ts

@@ -9,11 +9,10 @@ const WASM_PATH = resolve(
   '..',
   '..',
   '..',
-  '.dfx',
-  'local',
-  'canisters',
+  '.icp',
+  'cache',
+  'artifacts',
   'icp_features',
-  'icp_features.wasm.gz',
 );
 
 const E8S_PER_ICP = 100_000_000;

examples/multicanister/interfaces/phonebook.mo

@@ -0,0 +1,13 @@
+module {
+  public type ContactName = Text;
+  public type PhoneNumber = Text;
+  public type PhoneBookEntry = {
+    phone : PhoneNumber;
+    description : Text;
+  };
+
+  public type Self = actor {
+    insert : shared (ContactName, PhoneBookEntry) -> async ();
+    lookup : shared query (ContactName) -> async ?PhoneBookEntry;
+  };
+}

examples/multicanister/interfaces/superheroes.mo

@@ -0,0 +1,12 @@
+module {
+  public type SuperHeroId = Nat32;
+  public type SuperHero = {
+    name : Text;
+    superpowers : [Text];
+  };
+
+  public type Self = actor {
+    insert : shared (SuperHero) -> async SuperHeroId;
+    lookup : shared query (SuperHeroId) -> async ?SuperHero;
+  };
+}

examples/multicanister/multicanister.did

@@ -0,0 +1,26 @@
+type PhoneBookEntry = record {
+  phone : text;
+  description : text;
+};
+
+type SuperHero = record {
+  name : text;
+  superpowers : vec text;
+};
+
+type PhoneBookService = service {
+  insert : (text, PhoneBookEntry) -> ();
+  lookup : (text) -> (opt PhoneBookEntry) query;
+};
+
+type SuperHeroesService = service {
+  insert : (SuperHero) -> (nat32);
+  lookup : (nat32) -> (opt SuperHero) query;
+};
+
+service : (PhoneBookService, SuperHeroesService) -> {
+  insert_phone_book_entry : (text, PhoneBookEntry) -> ();
+  lookup_phone_book_entry : (text) -> (opt PhoneBookEntry) composite_query;
+  insert_super_hero : (SuperHero) -> (nat32);
+  lookup_super_hero : (nat32) -> (opt SuperHero);
+}